Corolario 11.4.4.