既約解析的超曲面 V の点 x の周りの正則関数の ord_{V,p} の定義で、
これは p に依らないことの証明が記載されている本を教えてください。