If a square number do not measure a square number, neither will the side measure the side; and, if the side do not measure the side, neither will the square measure the square.

Let A, B be square numbers, and let C, D be their sides; and let A not measure B; I say that neither does C measure D.

For, if C measures D, A will also measure B. [VIII. 14]