Corolario 4.1.