Corolario 8.2.