À chaque itération, on augmente d'un élément de à chaque fois différent (en effet, on ne peut pas prendre deux fois un élément car il est combinaison linéaire de lui-même). Or est fini, donc ...