Corolario 6.5.7.