ノイキルヒの代数的整数論が全然進まん