J. Bečvář, „Několik poznámek o ekvivalenci matematických vět", UM, roč. 19, č. 3, čer. 2017.