Corolario 3.1.