a) Let n = (abc)_{7}. Prove that n ≡ a + b + c (mod 6).
b) Use congruences to show that 4|3^{2n} - 1 for all integers n ≥ 0.