Divination sommatoire

il y a $2^{10}=$ 1024 parties possibles, chacune ayant une somme entre 0 et 955, donc au moins deux parties ont la même somme. On invoque le principe des tiroirs ou on le reformule savamment : il n’y a pas d’injection entre E et F quand card(E)>card(F).