Prove Theorems Xymogen