体k上の整域で、k上有限生成加群になってるのは、体になるのか?