A Additional statements and proofs

Open in new window