Si formula_11 es un par propio para A, entonces formula_96 es un par propio para formula_94.