proof: for each positive real number, x, if x is irrational, then x^2 is irrational