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