Als twee rechte lijnen (
en 
) elkaar snijden,
dan zijn de tegenover elkaar liggende hoeken even groot:
=
en 
=
.
Nu geldt:
+ = 
en
+ = .
Dus = .
Op dezelfde wijze is aan te tonen dat = .
QED
Over overstaande hoeken