有限生成な射影加群なら大体ベクトル束に対応するけども