Once you see that everything is unreal, you can't see why you should bother to prove it.