Corolario 15.2.7.