Leischner, P. Silvestrovské rozjímání O Ekvivalenci geometrických vět. UM 2017, 19.