Corolario 3.2.