Consideremos el producto CD = NcNd =NNcd = Ncd, es decir el producto CD también es una clase de congruencia según N.