for a, b being odd square Element of NAT holds 8 divides a - b