Corolario 11.4.9.