体を含むアルティン環上の加群の長さと、ベクトル空間としての次元は一致するって事を誰か教えてもらえませんか?