Corolario 11.1.