démonstration par contre-exemple