## Proposition 17

 If a cubic number does not measure a cubic number, then neither does the side measure the side; and, if the side does not measure the side, then neither does the cube measure the cube. Let the cubic number A not measure the cubic number B, and let C be the side of A, and D of B. I say that C does not measure D. For if C measures D, then A also measures B. But A does not measure B, therefore neither does C measure D. VIII.15 Next, let C not measure D. I say that neither does A measure B. If A measures B, then C also measures D. But C does not measure D, therefore neither does A measure B. VIII.15 Therefore, if a cubic number does not measure a cubic number, then neither does the side measure the side; and, if the side does not measure the side, then neither does the cube measure the cube. Q.E.D.
This proposition is simply the contrapositive of VIII.15.

"Contrariwise," continued Tweedledee, "if it was so, it would be; but as it isn't, it ain't. That's logic."

Next proposition: VIII.18

Previous: VIII.16

 Select from Book VIII Book VIII intro VIII.1 VIII.2 VIII.3 VIII.4 VIII.5 VIII.6 VIII.7 VIII.8 VIII.9 VIII.10 VIII.11 VIII.12 VIII.13 VIII.14 VIII.15 VIII.16 VIII.17 VIII.18 VIII.19 VIII.20 VIII.21 VIII.22 VIII.23 VIII.24 VIII.25 VIII.26 VIII.27 Select book Book I Book II Book III Book IV Book V Book VI Book VII Book VIII Book IX Book X Book XI Book XII Book XIII Select topic Introduction Table of Contents Geometry applet About the text Euclid Web references A quick trip