(20)continetur, sed ad diversa secantis late-ra, nec alter alteri deinceps ponitur.81. THEOR. Si parallelas AB &CD ſecat recta EL; anguli alterni æqua-les sunt.DEMONST. Perpendiculares SV &OI aequales sunt (72) & SO=VI(78)dein VO=VO: igitur angulus SOV= OVI(35) q. e. 1. Jam SOV†VOB= OVI+OVC(45) ablatis ergo SOV& OVI per part. I. aequalibus, relinquetur VOB=OVC (21) q. e. 2.82. THEOR. Si alterni anguli OVC& VOB æquales fuerint; erunt rectaeAB & CD parallelæ.DEMONST. Secus enim per pun-ctum O ducta sit alia OR rectae CD pa-rallela (73) erit OVC=VOR(81) sedex hypothesi OVC=VOB: igitur VOR= VOB (51) quod cùm repugnet (20)necesse est AB & CD esse parallelas. q.e.d83. DEF. Si rectas AB & CD secatrecta EL, anguli AOV & CVO, itemBOV & OVD vocantur interni adeandem partem, quorum nempe uterqueintra lineas sectas, & ad idem secantis la-tus existit.84. THFOR. Si parallelas AB &CD ſecat recta EL; anguli ad eandempartem interni simul sumpti duos adae-quant rectos.DEMONST. AOV+VOB =186gr.
ex