Corolario 10.2.5.