theorem SM3: :: NEWTON06:32

for s being square Integer holds s mod 3 is trivial Nat