Number divides Number iff Square divides Square

Theorem

 * If a square measure a square, the side will also measure the side; and, if the side [Definition:Divisor of Integer|measure]] the side, the square will also measure the square.