Dato quolibet spacio in perpendiculo a principio lationis signato, quod in dato tempore conficiatur, datoque quocunque tempore minori, aliud aequale spacium, priori accepto aequale, in eodem perpendiculo reperire, quod in dato tempore conficiatur.

Sit perpendiculum 'ab', in quo detur spacium 'ab', cuius tempus ex principio 'a' sit 'ab', sitque orizon 'cbe', et detur tempus ipso 'ab' minus, quod sit 'bc': oportet, in eodem perpendiculo spacium eidem 'ab' aequale invenire, quod tempore 'bc' conficiatur. Iungatur linea 'ac', cumque 'bc' minor sit 'ba', erit angulus 'bac' minor angulo 'bca'. Constituatur ipsi aequalis 'cae', et linea 'ae' orizonti in 'e' signo occurrat, ad quam perpendicularis ponatur 'ed', secans perpendiculum in 'd', et linea 'df' ipsi 'ba' secetur aequalis. Dico, ipsam 'fd' ex 'a' confici in tempore 'bc'. Cum enim in _[tri]ang[ul]o rectangulo 'aed' ab angulo recto 'e' perpendicularis ducta sit ad 'ad', erit 'ae' media inter 'da', 'ab', et 'be' media inter 'db', 'ba', hoc est inter 'fa', 'ab' erit (est enim 'fa' aequalis 'db'); cumque 'ab' positum sit esse tempus per 'ab', erit 'ae' tempus per totam 'ad', et 'eb' tempus per 'af'; cumque 'ae' sit aequalis ipsi 'ec' ob aequalitatem angulorum 'eac', 'ecd' 'eca', relinquitur ut 'bc' tempus sit ipsius 'fd': quod erat ostendendum.