Notemos que formula_201 no es normal en formula_19.