微積の本で最初から全ての局所体を平等に扱ってるのってないかな?