Elles fournissent une preuvcnouvelle