a partir del producto libre de "A" con "B" y haciendo módulo "N(C)" que es la clausura normal de "C" en ambos "A", "B".