Lifting a short modular progression to an integer progression
= Lifting a short modular progression to an integer progression
If all residues of a modular <arithmetic progression> have integer representatives in an interval of diameter less than half the modulus, the representatives form an integer <arithmetic progression>. Consecutive differences lie in an interval shorter than the modulus, so the common modular difference has a unique possible integer representative.