A Proofs In this section we include all proofs omitted in the main paper, and supply some additional comments