1277.94 Krohn-Rhodes 분해 정리