Sea formula_29 una estructura de tipo formula_30.