Edited

Proofs