et vicissim
Erit igitur, convertendo,
Ex constructione autem, expositis tribus EH, EF, MI, est
est etiam
est etiam, quum KG sit parallela BA,
Igitur tres rectte VE, KZ, EG sunt in ratione trium HE, MII, EF est igitur
Sed probavimus differentiam duarum MI, EH ad EF habere rationeln datam EV ad ED: igitur differentia duarum EV, KZ ad EG habebit rationem datam EV ad ED, et vicissim
et, componendo,
Sed (propter parallelas KG, BA) KL Tequatur DG: igitur vicissim erit
quod quidem ita se habere jam ex ipsa constructione innotuerat.
Constat itaque veritas pulcherrimte propositionis, nec est difficilis aut absimilis ad ulteriores casus et quotlibet lineas porrigenda constructio et demonstratio. Semper enim, beneficio constructionis in duabus lineis, expedietur problcma in tribus lineis: beneficio constructionis in tribus lineis, expedietur problema in quatuor lineis: