Este teorema se deduce del anterior utilizando que formula_20 es isomorfo a formula_21 cuando "n" y "m" son coprimos.