El cálculo de construcciones tiene la propiedad de normalización fuerte.