A Proofs omitted from the paper