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