Tensor Product of Projective Modules is Projective

Theorem
Let $A$ be a commutative ring with unity.

Let $P$ and $Q$ be projective $A$-modules.

Then the tensor product $P \otimes_A Q$ is a projective $A$-module.