If m is odd, then, splitting the previous sum up into two parts, it follows that G (1, m) equals m if m is congruent to 1 mod 4 and equals i m otherwise. If p is an odd prime and c is not divisible by p, this implies