Corolario 1.1.