Sea formula_23 un asociado de formula_24 , digamos que formula_25 donde formula_6 es una unidad.