I understand now! When n=odd, the sum of ai cannot be even number (namely cannot be 0). When n=even, there must be more than 1 even ai, so n is a multiple of 4 and therefor congruent to 0 mod 4.