A Proofs Proposition 1 The mapping f