added proofs of 5.1-5.3