The finite generation of projective modules