>>487 の A, m(A), A/m(A) をそれぞれ φ の付値環、極大イデアル、
剰余体と言う。