A Detailed Proof 1 A.1 Proof of Theorem 4.1