A Proofs Proof of Proposition 1. For all x, y R