Corolario 7.2.3.