Corolario 10.6.4.