IUTでガロア群から単数群をどう導くかくらい分かってる人たちだよね、君たちは