When (1+x)n is expanded in ascending powers of x, N1 of the coefficients leave a remainder
of 1 when divided by 3, while N2 of the coefficients leave a remainder of 2 when divided by 3.
Prove that N1-N2=2k where k is the number of 1's in the base 3 representation of n.