theorem Th91: :: NUMBER14:91

for a, b, c being Integer st (((a ^2) + (b ^2)) + (c ^2)) mod 4 = 0 holds
( a is even & b is even & c is even )