遠アーベル幾何では局所類体論が使われてる