Use a proof by contradiction to prove the following theorem. Theorem. The number √13 is not equal to any rational number. Remark. In your proof, you will have to use the theorem that you proved in question 1 twice.