Aristoteles löser @Harmonic gruppteoripussel med toppbetyg. Här är ett komplett formellt bevis av det populära Yu Tsumura 554-pusslet. Det fina är att beviset är mycket transparent, med lättföljda steg. Den skapades på mindre än en timme utan några ledtrådar. Jag bifogar hela beviset för inspektion.