Si formula_52, entonces formula_53, por lo que formula_54 para todo formula_55, y puesto que formula_56, el complemento formula_57 existe y formula_58 para todo formula_55.