A Proof of Propositions