Aristoteles von @Harmonic löst Gruppen-Theorie-Rätsel mit Bravour. Hier ist ein vollständiger formaler Beweis des beliebten Yu Tsumura 554 Rätsels. Was schön ist, ist, dass der Beweis sehr transparent ist, mit leicht nachvollziehbaren Schritten. Er wurde in weniger als einer Stunde ohne Hinweise erstellt. Ich füge den vollständigen Beweis zur Überprüfung bei.