added appendix for proofs; and put them there