A Proof of results in Section 4