sue due vicine, gliene toglie una e ne dà una ciascuno alle sue due vicine (la maestra ha un cesto infinito di mele da cui attingere). Dimostrare che il processo in ogni caso
terminerà dopo un numero finito di passi.
Ho trovato una soluzione ma mi è sembrata troppo semplice, quindi non sono sicuro sia corretto. Sarei grato a chi ne confermasse la correttezza o in caso di errore per chi mi spiegasse dove è. Questa è la mia soluzione:
Testo nascosto: