Aristóteles de @Harmonic está resolviendo acertijos de teoría de grupos. Aquí hay una prueba formal completa del popular rompecabezas Yu Tsumura 554. Lo bueno es que la prueba es muy transparente, con pasos fáciles de seguir. Se generó en menos de una hora sin ninguna pista. Adjunto la prueba completa para su inspección.