Corolario 17.1.