Bečvář, J. Několik poznámek O Ekvivalenci matematických vět. UM 2017, 19.