Wiem, że kąty  i  są wierzchołkowe, kąt  nie jest ostry, a kąt  nie jest rozwarty. Zatem:

Wiemy również, że kąty  i  są wierzchołkowe oraz że kąty , ,  i