A Additional Derivations and Proofs