Cleanup
Finished proof