Supongamos que formula_56 y sea formula_16 un subconjunto estricto y no vacío de formula_39.