16. a) Use the contrapositive to prove, for all x €Z, that if 3|x^2, then 3|x. There will be two cases, namely, x mod 3= 1 and x mod 3 = 2.
b) Use part (a) of this exercise to prove that the square root of 3, √3 is irrational