x1x2とかx1^2とかの項があるのに、k^n上の関数環になるって
そういう項があると、n次元に見えない私はどうかしてるんですか?