ajout preuve proposition 1
modif proof_proposition1