Supongamos, por contradicción, que formula_5, donde formula_6 denota el conjunto vacío.