代数幾何からハードルが高くなってきたけど、
基本定理でハードル高すぎたら、発展も何もないよな。