Use proof by contradiction to show the following theorem:

There is no rational number x with the property that x ² = 2. Assume x (p/q) is in lowest terms.