Rursum quoniam equidistans est recta AB recte GE et in ipsas incidit recta BD, exterior angulus EGD equalis est interiori et opposito qui est ABG.

Et quia etiam linea AB linee GE est equidistans et iam cecidit super eas linea recta BGD, erit angulus extrinsecus EGD angulo intrinseco qui ei opponitur ABG equalis.

Item cum ceciderit linea BD supra duas lineas inconiunctivas AB et GH, erit angulus extrinsecus HGD sicut intrinsecus ei oppositus, qui est ABG.

eumque, qui est EGD, ei, quem ABG componunt, ut extrinsecum intrinseco adequat,

Rurus, quia recta B D, in easdem parallelas incidit, erit angulus externus D C E, æqualis interno B.