Least residue system modulo m