In parole povere, se si moltiplica per ogni elemento di S1 si otterrà un secondo insieme: S2= {[*m1], [a*m2], ..., [*m?()]}. In questo modo si ottiene che S1 coincide con S2 e per mostrare questo basta semplicemente verificare che ogni elemento dell'insieme {[m1], [m2], ..., [m?()]} sia congruente a uno e un solo elemento dell'insieme {[*m1], [*m2], ..., [*m?()]}.