Gdy cztery proste są proporcjonalne, to prostokąt zawarty między skrajnymi jest równy prostokątowi zawartemu między środkowymi; a gdy prostokąt zawarty między skrajnymi jest równy prostokątowi zawartemu między środkowymi, to te cztery proste będą proporcjonalne.
Niech będą cztery proste proporcjonalne AB, CD, E, F, jak AB do CD, tak E do F. Twierdzę, że prostokąt zawarty między AB, F jest równy prostokątowi zawartemu między CD, E.