Este último resultado permite usar la notación formula_133 sin riesgo de ambigüedad.