Proof of proposition 2