Big projective modules are free