Ora però sono in un bel pasticcio, perchè se è vero che ant.py ha finito prima, Hawk ha dimostrato l'ultimo passaggio (direi il più importante) più formalmente...
Inoltre Hawk ha intuito che se esiste $x$ esiste anche $-x$ e che $I_{n-1}\subset I_n$ , cosa poi dimostrata da ant.py ...
Sarei più verso Hawk, ma anche ant.py ha fatto un buon lavoro...
Se uno dei due ha tra le mani un bel problema, che lo posti... Altrimenti invito Hawk a cercarne uno per il prossimo problema della staffetta
Se qualcuno più esperto di me a valutare dimostrazioni (dato che io sono capace a malapena di scriverle... ) può darmi il suo parere...
(anche perchè non avrei saputo che problema postare 