Commentary on Proposition VIII.17

Back to Proposition VIII.17.

If $a^3$ does not measure $b^3$, $a$ will not measure $b$; and vice versa.

Proved by reductio ad absurdum employing VIII. 15.