Prosta  na rysunku obok jest równoległa do boku AB trójkąta ABC.

Suma miar kątów wewnętrznych w tym trójkącie możemy zapisać w następujący sposób:


Wiemy, że kąty naprzemianległe są równe, zatem: