4. (a) Prove or disprove: If an integer n is not divisible by 3, then there exists an integer k such that n 3-k+1. (b) Assume n is not divisible by 3. Prove that n2 is divsible by 3. (Hint. Use cases, where one case is that n -3-k +1