Aristoteles dengan @Harmonic menguasai teka-teki teori kelompok. Berikut adalah bukti formal lengkap dari teka-teki Yu Tsumura 554 yang populer. Yang menyenangkan adalah buktinya sangat transparan, dengan langkah-langkah yang mudah diikuti. Itu dihasilkan dalam waktu kurang dari satu jam tanpa petunjuk apa pun. Saya melampirkan bukti lengkap untuk pemeriksaan.