Corolario 8.1.