added a proofs document that contains the derivations for several methods (this is not complete yet)