Properties of Congruence | The Theory of Congruences