Sit 'ab' tempus per 'ab', et posita 'cd' aequali eidem 'ab', quaeratur tempus per 'cd'. Sit 'ae' media inter 'ca', 'ab', et 'af' media inter 'da', 'ad' 'ab': et quia 'ab' est tempus per 'ab', erit 'ae' tempus per 'ac'; et 'be' tempus per 'be' et quia 'af' est media inter 'da', 'ab', erit 'af' tempus per totam 'ab' 'ad': fuit autem 'ae' tempus per 'ac': ergo 'ef' est tempus per 'cd'.

sit 'ab' 18 8
'cd' 18 8
'bc' 10
'ac' 18
'ad' 26
'ae' 12 'af' 14 1/2
'ef' 1 1/2