RE: Proving Statements:Theorems