
@cip999: usate la numerazione del pdf, creando l'opportuna bigezione tra i testi dati e le soluzioni presentate
@lucada23: quello che si usa in N3 (il "lemma" enunciato nella prima riga) è una conseguenza di LTE; io vi inviterei a dimostrarlo direttamente così com'è scritto (è un esercizio utile, abbastanza simile alla dimostrazione del vero LTE, ma facilitato da quell'$1$).
@erFuricksen: direi che $n_1\leq n_2$ è una condizione chiara, no? Se hai una pila da 7 e una da 5, non puoi prendere 7 monete dalla pila da 5 per raddoppiare quella da 7...