2017. Několik poznámek o ekvivalenci matematických vět. Učitel matematiky. 19, 3 (Jun. 2017).