[K[x]:K]=∞が非自明とか難しいとか言ってるのが的外れなことは
もう明らかなんだから、それでいいじゃん。