Gdy trzy proste są proporcjonalne, to prostokąt zawarty między skrajnymi jest równy kwadratowi na środkowej; a gdy prostokąt zawarty między skrajnymi jest równy kwadratowi na środkowej, to trzy proste będą proporcjonalne.
Niech będą trzy proste proporcjonalne A, B, C; jak A do~B, tak B do C. Twierdzę, że prostokąt zawarty między A, C jest równy kwadratowi na B.