Full Proofs Here