Edit proofs in appendix