the Quillen-Suslin algorithm for bases of projective modules