Twierdzenie 1
Jeżeli ramiona kąta \angle BAC lub ich przedłużenia przetniemy dwiema prostymi równoległymi BC oraz DE, to długości odcinków wyznaczonych przez te proste na jednym ramieniu lub jego przedłużeniu są proporcjonalne do długości odpowiednich odcinków wyznaczonych przez te proste na drugim ramieniu lub jego przedłużeniu:
Dodatkowo:

Twierdzenie 2
Jeżeli odcinki wyznaczone przez dwie proste na jednym ramieniu kąta są proporcjonalne do odpowiednich odcinków wyznaczonych przez te proste na drugim ramieniu kąta, to proste te są równoległe.
.png)