正直、これは俺の考えてた案とは話が違うんだが、否定的な人はひとまず
「何でIUTTでガロア群と基本群が仲良くペアで使われるか」、また「ガロア群の一般化になる
例の概念」の威力について反省したほうがいいと思うぜ。余計なお世話か