Aristotel, de @Harmonic, excelează la puzzle-urile de tip grup. Iată o demonstrație formală completă a popularului puzzle Yu Tsumura 554. Ce e plăcut este că demonstrația este foarte transparentă, cu pași ușor de urmărit. A fost generat în mai puțin de o oră fără niciun indiciu. Atașez proba completă pentru inspecție.