Como formula_10 es cerrado respecto a la multiplicación, tendremos que todas las potencias naturales positivas de formula_22 serán elementos de formula_10.