17種類しかないと証明されてるやつは
何群というのでしょうか?