
a. Let's set a=3, b=1


In other words
is odd, i.e.
has remainder 1 when divided by 2.

b. Let



There are 2n terms in the last factor. All the terms of the form

are odd. So when we add up an even number of them, we get an even number, call it 2m.


We've shown
is divisible by four.

Merry Christmas!