theorem Th50: :: NEWTON02:50

for a, b being Nat st not 3 divides a * b holds
3 divides (a + b) * (a - b)