theorem :: NEWTON03:19

for a, b being odd square Nat holds 8 divides a - b