Corolario 10.6.5.