A Additional statements and proofs