Corolario 6.1.