フロベニウスの定理
Complete reduction. Here the structure group has been reduced completely to the trivial group. The problem can now be handled by methods such as the Frobenius theorem. In other words, the algorithm has successfully terminated.