Some Theorems We Should Prove