A Proofs of propositions