Correcciones ejemplo no reducibilidad.