Corolario 13.2.3.