theorem Th95: :: NEWTON02:193

for b, c being Nat st b,c are_coprime holds
not 3 divides (b |^ 2) + (c |^ 2)