Se busca llegar a una contradicción.