>>216 流儀によるお

ちなみに、全然関係ない話ですが、通常V_p(0) = ∞ と定義する。
0多項式の次数 を -∞と定義すると辻褄があうのと同じ理由で。