Prove Theorems Xy Xz Xyz