Adding introduction and minor changes in proofs