A Proofs and Derivation A.1 Proof for Theorem