Si formula_5 es una fórmula de nuestro lenguaje, entonces también lo son formula_20, formula_21, y formula_22.