Proving theorems has theoretical applications. And the knowledge gained by doing so may have practical applications.