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