Projective Modules Over Polynomial Rings In Abstract