Une démonstration d'une propriété évidemment fausse, l'erreur n'est pas si évidente à trouver.