SiSiSiSiSiSi inininininin horizontehorizontehorizontehorizontehorizontehorizonte sumantursumantursumantursumantursumantursumantur duoduoduoduoduoduo punctapunctapunctapunctapunctapuncta, etetetetetet abababababab alteroalteroalteroalteroalteroaltero ipsorumipsorumipsorumipsorumipsorumipsorum quaelibetquaelibetquaelibetquaelibetquaelibetquaelibet linealinealinealinealinealinea inclineturinclineturinclineturinclineturinclineturinclinetur adadadadadad quamquamquamquamquamquam exexexexexex alteroalteroalteroalteroalteroaltero punctopunctopunctopunctopunctopuncto horizontishorizontishorizontishorizontishorizontishorizontis alteraalteraalteraalteraalteraaltera rectarectarectarectarectarecta ducaturducaturducaturducaturducaturducatur, exexexexexex eaeaeaeaeaea secanssecanssecanssecanssecanssecans partempartempartempartempartempartem aequalemaequalemaequalemaequalemaequalemaequalem eieieieieiei quaequaequaequaequaequae interinterinterinterinterinter punctapunctapunctapunctapunctapuncta horizontishorizontishorizontishorizontishorizontishorizontis intercipiturintercipiturintercipiturintercipiturintercipiturintercipitur, casuscasuscasuscasuscasuscasus perperperperperper hanchanchanchanchanchanc ductamductamductamductamductamductam citiuscitiuscitiuscitiuscitiuscitius absolviturabsolviturabsolviturabsolviturabsolviturabsolvitur, quamquamquamquamquamquam perperperperperper quascumquequascumquequascumquequascumquequascumquequascumque aliasaliasaliasaliasaliasalias rectasrectasrectasrectasrectasrectas exexexexexex eodemeodemeodemeodemeodemeodem punctopunctopunctopunctopunctopuncto adadadadadad eamdemeamdemeamdemeamdemeamdemeamdem lineamlineamlineamlineamlineamlineam protractasprotractasprotractasprotractasprotractasprotractas. InInInInInIn aliisaliisaliisaliisaliisaliis autemautemautemautemautemautem, quaequaequaequaequaequae perperperperperper angulosangulosangulosangulosangulosangulos aequalesaequalesaequalesaequalesaequalesaequales suprasuprasuprasuprasuprasupra etetetetetet infrainfrainfrainfrainfrainfra abababababab hachachachachachac distiterintdistiterintdistiterintdistiterintdistiterintdistiterint, casuscasuscasuscasuscasuscasus fiuntfiuntfiuntfiuntfiuntfiunt temporibustemporibustemporibustemporibustemporibustemporibus aequalibusaequalibusaequalibusaequalibusaequalibusaequalibus.
SintSintSintSintSintSint inininininin linealinealinealinealinealinea horizontalihorizontalihorizontalihorizontalihorizontalihorizontali 'abababababab' duoduoduoduoduoduo punctapunctapunctapunctapunctapuncta 'aaaaaa', 'bbbbbb' etetetetetet aaaaaa 'bbbbbb' inclineturinclineturinclineturinclineturinclineturinclinetur rectarectarectarectarectarecta 'bcbcbcbcbcbc', inininininin quaquaquaquaquaqua exexexexexex terminoterminoterminoterminoterminotermino 'bbbbbb' sumatursumatursumatursumatursumatursumatur 'bdbdbdbdbdbd' ipsiipsiipsiipsiipsiipsi 'babababababa' aequalisaequalisaequalisaequalisaequalisaequalis, etetetetetet iungaturiungaturiungaturiungaturiungaturiungatur 'adadadadadad'. DicoDicoDicoDicoDicoDico casumcasumcasumcasumcasumcasum perperperperperper 'adadadadadad' velociusvelociusvelociusvelociusvelociusvelocius fierifierifierifierifierifieri quamquamquamquamquamquam perperperperperper quamlibetquamlibetquamlibetquamlibetquamlibetquamlibet exexexexexex 'aaaaaa' adadadadadad inclinataminclinataminclinataminclinataminclinataminclinatam 'bcbcbcbcbcbc' productamproductamproductamproductamproductamproductam. ExExExExExEx punctispunctispunctispunctispunctispunctis enimenimenimenimenimenim 'aaaaaa', 'dddddd' adadadadadad ipsasipsasipsasipsasipsasipsas 'babababababa', 'bdbdbdbdbdbd' perpendicularesperpendicularesperpendicularesperpendicularesperpendicularesperpendiculares, ducanturducanturducanturducanturducanturducantur 'aeaeaeaeaeae', 'dededededede', sesesesesesesesesesesese inininininin 'eeeeee' secantessecantessecantessecantessecantessecantes, etetetetetet quiaquiaquiaquiaquiaquia inininininin triangulotriangulotriangulotriangulotriangulotriangulo aequicruriaequicruriaequicruriaequicruriaequicruriaequicruri 'abdabdabdabdabdabd' angulianguliangulianguliangulianguli 'badbadbadbadbadbad', 'bdabdabdabdabdabda' suntsuntsuntsuntsuntsunt aequalesaequalesaequalesaequalesaequalesaequales, erunterunterunterunterunterunt reliquireliquireliquireliquireliquireliqui adadadadadad rectosrectosrectosrectosrectosrectos 'daedaedaedaedaedae', 'eadeadeadeadeadead' aequalesaequalesaequalesaequalesaequalesaequales, ergoergoergoergoergoergo centrocentrocentrocentrocentrocentro 'eeeeee', intervallointervallointervallointervallointervallointervallo autemautemautemautemautemautem 'eaeaeaeaeaea', descriptusdescriptusdescriptusdescriptusdescriptusdescriptus circuluscirculuscirculuscirculuscirculuscirculus perperperperperper 'dddddd' quoquequoquequoquequoquequoquequoque transibittransibittransibittransibittransibittransibit, etetetetetet lineaslineaslineaslineaslineaslineas 'babababababa', 'bdbdbdbdbdbd' tangettangettangettangettangettanget inininininin punctispunctispunctispunctispunctispunctis 'aaaaaa', 'dddddd'. EtEtEtEtEtEt cumcumcumcumcumcum 'aaaaaa' sitsitsitsitsitsit terminusterminusterminusterminusterminusterminus perpendiculiperpendiculiperpendiculiperpendiculiperpendiculiperpendiculi 'aeaeaeaeaeae', casuscasuscasuscasuscasuscasus perperperperperper 'adadadadadad' citiuscitiuscitiuscitiuscitiuscitius absolveturabsolveturabsolveturabsolveturabsolveturabsolvetur quamquamquamquamquamquam perperperperperper quamcumquequamcumquequamcumquequamcumquequamcumquequamcumque aliamaliamaliamaliamaliamaliam exexexexexex eodemeodemeodemeodemeodemeodem terminoterminoterminoterminoterminotermino 'aaaaaa' usqueusqueusqueusqueusqueusque adadadadadad lineamlineamlineamlineamlineamlineam 'bcbcbcbcbcbc' ultraultraultraultraultraultra circumferentiamcircumferentiamcircumferentiamcircumferentiamcircumferentiamcircumferentiam circulicirculicirculicirculicirculicirculi extensamextensamextensamextensamextensamextensam: quodquodquodquodquodquod estestestestestest primoprimoprimoprimoprimoprimo demonstrandumdemonstrandumdemonstrandumdemonstrandumdemonstrandumdemonstrandum.
QuodQuodQuodQuodQuodQuod sisisisisisi inininininin perpendiculoperpendiculoperpendiculoperpendiculoperpendiculoperpendiculo 'acacacacacac' 'aeaeaeaeaeae', quodcumquequodcumquequodcumquequodcumquequodcumquequodcumque centrumcentrumcentrumcentrumcentrumcentrum 'ffffff' etetetetetet secundumsecundumsecundumsecundumsecundumsecundum intervallumintervallumintervallumintervallumintervallumintervallum 'fafafafafafa' circuluscirculuscirculuscirculuscirculuscirculus 'agcagcagcagcagcagc' describaturdescribaturdescribaturdescribaturdescribaturdescribatur, lineamlineamlineamlineamlineamlineam 'bcbcbcbcbcbc' inininininin punctispunctispunctispunctispunctispunctis 'gcgcgcgcgcgc' secanssecanssecanssecanssecanssecans, iunctaeiunctaeiunctaeiunctaeiunctaeiunctae 'agagagagagag' 'acacacacacac' perperperperperper angulosangulosangulosangulosangulosangulos aequalesaequalesaequalesaequalesaequalesaequales, exexexexexex anteanteanteanteanteante demonstratisdemonstratisdemonstratisdemonstratisdemonstratisdemonstratis aaaaaa mediamediamediamediamediamedia 'adadadadadad' dirimenturdirimenturdirimenturdirimenturdirimenturdirimentur; etetetetetet fitfitfitfitfitfit patetpatetpatetpatetpatetpatet perperperperperper ipsasipsasipsasipsasipsasipsas eodemeodemeodemeodemeodemeodem temporetemporetemporetemporetemporetempore fierifierifierifierifierifieri motusmotusmotusmotusmotusmotus, cumcumcumcumcumcum exexexexexex apiceapiceapiceapiceapiceapice perpendiculiperpendiculiperpendiculiperpendiculiperpendiculiperpendiculi adadadadadad circumferentiamcircumferentiamcircumferentiamcircumferentiamcircumferentiamcircumferentiam 'agcagcagcagcagcagc' sintsintsintsintsintsint ductaeductaeductaeductaeductaeductae.
LemmaLemmaLemmaLemmaLemmaLemma propropropropropro antecedentiantecedentiantecedentiantecedentiantecedentiantecedenti.
SiSiSiSiSiSi duoduoduoduoduoduo circulicirculicirculicirculicirculicirculi sesesesesese intusintusintusintusintusintus tanganttanganttanganttanganttanganttangant, etetetetetet linealinealinealinealinealinea rectarectarectarectarectarecta interioreminterioreminterioreminterioreminterioreminteriorem circulumcirculumcirculumcirculumcirculumcirculum contingatcontingatcontingatcontingatcontingatcontingat, etetetetetet alterumalterumalterumalterumalterumalterum secetsecetsecetsecetsecetsecet, trestrestrestrestrestres lineaelineaelineaelineaelineaelineae aaaaaa contactucontactucontactucontactucontactucontactu circulorumcirculorumcirculorumcirculorumcirculorumcirculorum adadadadadad triatriatriatriatriatria punctapunctapunctapunctapunctapuncta tangentistangentistangentistangentistangentistangentis etetetetetet secantissecantissecantissecantissecantissecantis lineaelineaelineaelineaelineaelineae productaeproductaeproductaeproductaeproductaeproductae angulosangulosangulosangulosangulosangulos duosduosduosduosduosduos aequalesaequalesaequalesaequalesaequalesaequales continebuntcontinebuntcontinebuntcontinebuntcontinebuntcontinebunt. AssumptaAssumptaAssumptaAssumptaAssumptaAssumpta praesentipraesentipraesentipraesentipraesentipraesenti figurafigurafigurafigurafigurafigura, protrahaturprotrahaturprotrahaturprotrahaturprotrahaturprotrahatur 'adadadadadad' usqueusqueusqueusqueusqueusque adadadadadad 'hhhhhh', etetetetetet iungaturiungaturiungaturiungaturiungaturiungatur 'hfhfhfhfhfhf', secanssecanssecanssecanssecanssecans 'gcgcgcgcgcgc' inininininin 'iiiiii', etetetetetet quiaquiaquiaquiaquiaquia angulianguliangulianguliangulianguli inininininin centriscentriscentriscentriscentriscentris 'eeeeee', 'ffffff' suntsuntsuntsuntsuntsunt aequalesaequalesaequalesaequalesaequalesaequales, cumcumcumcumcumcum similibussimilibussimilibussimilibussimilibussimilibus circumferentiiscircumferentiiscircumferentiiscircumferentiiscircumferentiiscircumferentiis sectissectissectissectissectissectis aaaaaa linealinealinealinealinealinea 'adhadhadhadhadhadh' insistantinsistantinsistantinsistantinsistantinsistant, eriteriteriteriteriterit linealinealinealinealinealinea 'fihfihfihfihfihfih' ipsiipsiipsiipsiipsiipsi 'edededededed' parallelaparallelaparallelaparallelaparallelaparallela. CumqueCumqueCumqueCumqueCumqueCumque 'edededededed' sitsitsitsitsitsit perpendicularisperpendicularisperpendicularisperpendicularisperpendicularisperpendicularis adadadadadad 'gcgcgcgcgcgc', ipsaipsaipsaipsaipsaipsa quoquequoquequoquequoquequoquequoque 'fihfihfihfihfihfih' exexexexexex centrocentrocentrocentrocentrocentro 'ffffff' adadadadadad lineamlineamlineamlineamlineamlineam 'cgcgcgcgcgcg' perpendicularisperpendicularisperpendicularisperpendicularisperpendicularisperpendicularis eriteriteriteriteriterit, etetetetetet, quodquodquodquodquodquod consequensconsequensconsequensconsequensconsequensconsequens estestestestestest, arcumarcumarcumarcumarcumarcum 'ghcghcghcghcghcghc' bifariambifariambifariambifariambifariambifariam dividetdividetdividetdividetdividetdividet, etetetetetet angulusangulusangulusangulusangulusangulus 'gahgahgahgahgahgah' anguloanguloanguloanguloanguloangulo 'hachachachachachac' eriteriteriteriteriterit aequalisaequalisaequalisaequalisaequalisaequalis. QuodQuodQuodQuodQuodQuod eraterateraterateraterat probandumprobandumprobandumprobandumprobandumprobandum.
pppppp. 209209209209209209