Title: How to Prove a Theory