Properties of Congruence | The Theory of Congruences | BMLabs Mathematics