Corolario 11.4.5.