Если нельзя отрицать очевидное, то почему можно его доказывать?