A module P is projective if for every surjective module homomorphism and every module homomorphism , there exists a homomorphism such that .

Prove that if is projective and is a surjective module homomorphism, then there exists some module homomorphism such that .

This is a section map. I don't know how to prove this. I was thinking to let , but it doesn't seem that easy.