A Proofs and additional theoretical results 482 A.1 Proofs