A Proof of proposition