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: