Claims

../

2025_08_10_cambie: Stijn Cambie's observation that the moduli 2^k with residues 2^(k-1)+1 leave only the integer 1 uncovered, so the count is the constant 1 and the statement is false; accepted on the site curator's credit.

---