Corolario 3.2.3.