Lema A da je dvostruko AG veće od BG, ovako se dokazuje. Zaista, ako to nije tako, onda neka bude, ako je ovo moguće, BG dvostruko GA. Tada je kvadrat na BG četiri puta veći od kvadrata na GA. A zbir kvadrata na BG i na GA je pet puta veći od kvadrata na GA. Ali se pretpostavlja da je kvadrat na BA pet puta veći od kvadrata na GA. Pa prema tome je kvadrat na BA jednak zbiru kvadrata na BG i na GA. No to je nemoguće [II.4]. Znači GB nije dvostruko AG. Slično se dokazuje da i duž manja od GB nije dvostruka od duži GA, jer je to još više besmisleno. Na ovaj način, udvostručeno AG je veće od GB. A to je trebalo dokazati. |