A Proofs of our main results