For, if the sphere ABC has not to the sphere DEF the ratio triplicate of that which BC has to EF,
then the sphere ABC will have either to some less sphere than the sphere DEF, or to a greater, the ratio triplicate of that which BC has to EF.
First, let it have that ratio to a less sphere GHK, let DEF be conceived about the same centre with GHK, let there be inscribed in the greater sphere DEF a polyhedral solid which does not touch the lesser sphere GHK at its surface, [XII. 17] and let there also be inscribed in the sphere ABC a polyhedral solid similar to the polyhedral solid in the sphere DEF;
therefore the polyhedral solid in ABC has to the polyhedral solid in DEF the ratio triplicate of that which BC has to EF. [XII. 17, Por.]
But the sphere ABC also has to the sphere GHK the ratio triplicate of that which BC has to EF;
therefore, as the sphere ABC is to the sphere GHK, so is the polyhedral solid in the sphere ABC to the polyhedral solid in the sphere DEF;
and, alternately, as the sphere ABC is to the polyhedron in it, so is the sphere GHK to the polyhedral solid in the sphere DEF. [V. 16]
But the sphere ABC is greater than the polyhedron in it;
therefore the sphere GHK is also greater than the polyhedron in the sphere DEF.
But it is also less, for it is enclosed by it.
Therefore the sphere ABC has not to a less sphere than the sphere DEF the ratio triplicate of that which the diameter BC has to EF.
Similarly we can prove that neither has the sphere DEF to a less sphere than the sphere ABC the ratio triplicate of that which EF has to BC.