A Proof of theorems) such that H