Několik poznámek O Ekvivalenci matematických vět. UM 2017, 19 (3).