A Omitted proofs

Open in new window