How To Prove A Mathematical Theory