Aristóteles, por @Harmonic, está arrasando con sobresalientes en los acertijos de teoría de grupos. Aquí tienes una demostración formal completa del popular rompecabezas Yu Tsumura 554. Lo bueno es que la demostración 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.