これが終わるとヒルベルトの理論で、いよいよ類体論の入口の端っこのドアノブまであと400mという感じなのかも？わからんのだ、地図を渡されてないので