Se sabe que probar la negación es imposible.