Prove that n € N is divisible by 3 if and only if the alternating sum of the bits of n in binary repre- sentation is divisible by 3. The alternating sum of any sequence do, a1,..., am is Σo(-1)'ai