Congruence to an Integer less than Modulus