theorem N02193: :: NEWTON06:40

for a, b being square Nat st a,b are_coprime holds
not 3 divides a + b