Este razonamiento tiene un error, ya que no llegamos a una contradicción.