added proofs