Sit 'do' media inter 'cd', 'df'; 'av' media inter 'ca', 'ab'; 'ck' media inter 'ac', 'cb'; et accipiatur utcumque 'ds'.

fiat ut 'od' ad 'df', ita 'sd' ad 'dr'; ut 'cd' ad 'do', ita 'sd' ad 'dr', seu ut 'bc' ad 'cd', seut seu ut 'dc' ad 'ca'.

Fiat ut 'bc' ad 'ca' 'ck', ita 'sd' ad 'dt'; ut autem 'va' ad 'ab', ita 'td' ad 'dg'.

Probetur 'gt' minorem esse quam 'sr'.

ostende 'co' maiorem esse 'cv'.

sit ut 'ob' 'od', 'dc', 'ca', 'av', ita 'rd', 'ds', d 'td', 'dg'.

Quia enim ut 'sp' 'sd' ad 'pr' 'dr', ita 'cd' ad 'do', per conversionem rationis et convertendo, ut 'rs' ad 'sp' 'sd', ita 'oc' ad 'cd'; ut autem 'sp' 'sd' ad 'pt' 'dt', ita 'cd' ad 'ca', hoc est 'kc', ad 'ca': et quia est 'ad' ut d 'tp' ad 'pg' 'td' ad 'dg', ita 'ca' ad 'av', per conversionem rationis erit quoque ut 'pt' 'dt' ad 'tg', ita 'ca' 'ac' ad 'cv': ergo, ex aequali, ut 'rs' ad 'gt', ita 'oc' ad 'cv'. Ostenditur autem, per lemmata, 'co' maior quam 'cv'; ergo tempus 'rs' maius est tempore 'gt': est autem 'rs' tempus quo peragitur 'fc' post 'df', 'gt' vero tempus quo peragitur 'bc' post 'ab': ergo patet propositum.