Otra propiedad que se puede derivar es que si formula_5 es válido, entonces lo es formula_48.