Comment by marcosdumay

It means your proof proves something.

Whether it's something you care about, or even something that should be true at all is out of scope.