Aristote par @Harmonic excelle dans les énigmes de théorie des groupes. Voici une preuve formelle complète du célèbre puzzle Yu Tsumura 554. Ce qui est agréable, c'est que la preuve est très transparente, avec des étapes faciles à suivre. Elle a été générée en moins d'une heure sans aucun indice. Je joins la preuve complète pour inspection.