ヒルベルト多項式と級数環の次元