A Proof of theorems