Corolario 9.1.