Kulmat [[$ \alpha $]]​ ja [[$ \beta $]]​ ovat ristikulmia.

Ristikulmat ovat aina yhtäsuuret.

Siis ​[[$ \alpha = \beta $]]​