Proof Theorems added

Proof Theorems added