Definition: We call a number x rational if there exist two integers p and q such that x=pq. We assume that p and q are coprime. Prove that 2 is not rational.