theorem :: NEWTON05:23

for k, l being odd square Integer holds (k + l) mod 8 = 2