La expresión formula_67 denota la ocurrencia de formula_61 en formula_69.