有限生成自由加群より一般に、有限生成射影加群でも良い