Sit 'fg' orizon, et ex sublimi 'a' fiat motus per 'abf', et protracta 'ab' usque ad 'd', sit media inter 'da', 'ab' ipsa 'ac', et orizonti aequidistans sit 'ce'. Dico, tempus per 'ab' ad tempus per 'bf' esse ut 'ab' ad 'be'. Nam tempus per 'ab' ad tempus per 'bd' est ut 'ab' ad 'bc': tempus vero per 'bd' post 'ab' ad tempus per 'bf' post 'ab' est ut 'bd' ad 'bf', idest 'bc' ad 'be': ergo, ex aequali, tempus per 'ab' ad tempus per 'bf' est ut 'ab' ad 'be'.