added proof
added proofs