(a)번 그냥 cyclic decomposition 하면

complementary T invariant 되지 않음?

cyclic decomp까지는 트리비얼 하다는건가