Si A es no singular, y si formula_11 es un par propio de A, entonces formula_18 es un par propio de formula_19.