Théorème selon lequel, étant donné trois droites parallèles Δ₁, Δ₂ et Δ₃, et deux droites graduées D et D′ qui leur sont sécantes respectivement en A, B, C et A′, B′, C′, on a la relation : .

Sa réciproque est vraie.