Esta propiedad es necesaria para la equivalencia de