Aristotele di @Harmonic sta risolvendo alla grande i puzzle di teoria dei gruppi. Ecco una prova formale completa del popolare puzzle Yu Tsumura 554. La cosa bella è che la prova è molto trasparente, con passaggi facili da seguire. È stata generata in meno di un'ora senza alcun suggerimento. Allego la prova completa per ispezione.