Hajós György könyvében jelent meg: 26.2 Tétel itt: http://www.tankonyvtar.hu/en/tartalom/tamop425/2011_0001_519_04218/ch03s04.html
Oké, marslakók nincsenek benne, azt talán valami egyetemi vicclapban olvashattam valamikor régen, valami tanári aranyköpés rovatban. Ezzel együtt szép és szemléletes bizonyítás.