A Proofs 438 We first redefine notation for clarity and then provide the proofs of the results in the main paper