Luego la simplificación es posible y