Tensor product of projective modules is projective
Suppose 
- the tensor product of two free 
-modules is free  - the tensor product of two projective 
-modules is projective  
 Hints
- Recall that tensor product commutes with direct sums
 - Use this characterization of projective modules