Let us have a $P$ module. We have to prove the following statement:
$P$ is projective $\Leftrightarrow$ There is an $F$ free module, such that $F \cong F \oplus P$.
I have already seen the $\Rightarrow$ direction in a previously asked question, but can't really think of anything to prove the other way.
Any help appreciated!