A Proofs of the Main Results