Si formula_230 entonces formula_10 es de la forma formula_232 y es un asociado de formula_233