proofs for theorem 2 and 3 added