Lema Tvrdim, da ako je površina S veća od kruga EZHQ, onda je površina S prema krugu ABGD kao krug EZHQ prema površini manjoj od kruga ABGD. Zaista, načinimo tako da površina S bude prema krugu ABGD kao krug EZHQ prema površini T. Tvrdim da je površina T manja od kruga ABGD. Zaista, pošto je površina S prema krugu ABGD kao krug EZHQ prema površini T, to će, posle promene reda, površina S biti prema krugu EZHQ kao krug ABGD prema površini T [V.16]. No površina S je veća od kruga EZHQ, pa prema tome je krug ABGD veći od površine T. Na taj način je površina S prema površini ABGD kao krug EZHQ prema površini manjoj od kruga ABGD. A to je trebalo dokazati. |