ayant considéré n+1 sous ensembles , on suppose qu'ils sont différents c'est à dire on n'a pas deux sous ensembles identiques .
prenons U un des sous ensembles , si chaque intersection de U avec les n autres sous ensembles est impaire , alors U possède au moins 1 élément n'existant pas chez chacun des n autres sous ensembles , donc U possède les n éléments de l'ensemble initial .
de meme si on prend un autre sous ensemble V des n+1 sous-ensembles choisis , avec l'hypothèse 'si chaque intersection de V avec les n autres sous ensembles est impaire ' on aura V possède les n éléments de l'ensemble initial donc V=U , absurde d'ou le résultat