properties of congruences in number theory