Se supone que ese elemento existe y se prueba que eso conduce a una contradicción.