pid上の加群の事実のいくつかはベズー整域上の加群でも成り立つ。