Z twierdzenia Talesa wynika, że po przedłużeniu ramion otrzymamy trójkąt równoramienny (za wyjątkiem prostokąta, w którym łatwo sprawdzić daną własność). Co za tym idzie - mamy na dole u podstawy parę równych kątów, stąd już prosto wynika, że druga para też musi być parą równych kątów.