theorem MOD8: :: NEWTON06:74

for a being odd square Integer holds a mod 8 = 1