Assume x is rational but not an integer; that is, x can be written as a/b, irreducible, with b > 1. Assume (a/b)a/b = c/d is irreducible. Then construct a reductio ad absurdum proof.