How to Prove a Theory