Arystoteles autorstwa @Harmonic świetnie radzi sobie z zagadkami z teorii grup. Oto pełny formalny dowód popularnej zagadki Yu Tsumura 554. Co jest miłe, to to, że dowód jest bardzo przejrzysty, z łatwymi do śledzenia krokami. Został wygenerowany w mniej niż godzinę bez żadnych wskazówek. Dołączam pełny dowód do inspekcji.