>>800 たとえばK^nとか考えたとき
 K={0}だったらdimK^n=0にならない?