 Free modules are projective

Lift the image of each basis element independently through the given surjection, then extend the chosen lifts linearly.