A Additional proofs