La degeneración del nivel formula_2 es formula_9.