Je suis confus avec Thm2, l'instructeur a dit et expliqué comme si x était plus grossier que x' mais puisque x' est contenu dans x et compte tenu de la définition de la partition, son explication ne devrait-elle pas être opposée alors qu'il prouve Thm2 ? donc x contient x' et plus je pense####[['Thm2', 'Mathematical_Related_Concept', 'NEU']]