En
las secciones que son desiguales ninguna parte de una de ellas cabrá en una parte de la
otra.
Sean ΑΒC y DΕF dos secciones desiguales.
Digo que ninguna parte de una de ellas puede coincidir con una parte de la otra.
Supongamos que, si es posible, la parte \(\overparen{\rm AB}\) quepa en una parte \(\overparen{\rm DE}\) . Entonces la
sección entera ΑΒC encajará en la sección entera DΕF [Prop. VI.6].
Por lo tanto, la sección ΑΒC es igual a la sección DΕF, lo cual es imposible.
Así que ninguna parte de ΑΒC cabe en una parte de DΕF.
Q. E. D.