theorem N0319: :: NEWTON05:22

for k, l being odd square Integer holds (k - l) mod 8 = 0