Corolario 13.2.5.