proof of proposition 1.1