De hecho, tenemos: