AB ad subtensam duplo circumferentiae BG. Dimidia enim est utraque utriusque. Ergo et ratio rectae AE ad rectam EG eadem est quae est ratio subtensae duplo circumferentiae AB ad subtensam duplo circumferentiae BG. Quod erat demonstrandum.

Hinc sequitur Secundum lemmation κυκλικὸν i. m. W quod, si dentur tota circumferentia AG et ratio subtensae duplo circumferentiae AB ad subtensam duplo circumferentiae BG, dabitur etiam utraque circumferentia AB et BG. Manente enim eadem figura connectatur recta AD, et a signo D deducatur perpendicularis DZ in lineam AEG. Quod igitur, circumferentia AG data, detur et angulus qui sub ADZ semissem eiusdem circumferentiae subtendens, et totum triangulum ADZ manifestum est. Deinde, quia tota AG recta linea data est, et per hypothesin ratio lineae AE ad lineam EG, quae eadem est rationi subtensae dupli circunferentiae