Aristoteles @Harmonic mestrer gruppeteori-puslespill med mesterskap. Her er et fullstendig formelt bevis på det populære Yu Tsumura 554-puslespillet. Det som er fint er at beviset er veldig transparent, med lettfattelige trinn. Den ble laget på under en time uten noen hint. Jeg legger ved hele beviset for inspeksjon.