changed proofs a little