An alternative proof of the irrationality of square root of 2 counts the number of 2's on the two sides of the equation 2n^2 = m^2 and uses the unique factorization of integers theorem to deduce a contradiction. Write a proof that uses this approach.