Corolario 4.17