Corolario 10.6.10.