Démonstration refente