talk:>>69 Rが体であり、VがR上有限生成であること。(次元の定義による。)