A Remaining Proofs from Section 4