Digo ahora que, si el área S es mayor que el círculo EFGH, como el área S es al círculo ABCD, así el círculo EFGH a un área menor que el círculo ABCD.

Pues, como el área S es al círculo ABCD sea así el círculo EFGH al área T.

Digo que el área T es menor que el círculo ABCD. Porque efectivamente, como el área S es al círculo ABCD, así el círculo EFGH al área T, luego por alternancia , como el área S es al círculo EFGH, así el círculo ABCD al área T [V 16]. Y el área S es mayor que el círculo EFGH, por tanto, el círculo ABCD también es mayor que el área T. De modo que, como el área S es al círculo ABCD, así el círculo EFGH a un área menor que el círculo ABCD, Q. E. D.