Corolario 12.1.