Análogamente, se verifica que formula_235 es normal en formula_19.