On the congruences a n ± b n ≡ 0 mod n k