BF X DA X GE = BA X DE X GF

Multipliant les membres correspondans de ces deux ligalitcs, ||pus trouveron.s que *

baxdexg'fxbfxdaxge=bfxdaxG'exbaxdexgf.

Mais, nous pouvons supprimer de chaque côté les facteurs BA, DE , BF , DA , sans détruire l’égalité , puisque cela revient à diviser les deux membres, par les mêmes nombres d’unités de longueur. Conséquemment ,

G'F X GE = G'E X GF et cette égalité fournil la proportion annoncée