Hint 3.2.16.1.

Your friend's proof a proof, but of what? What implication follows from the given proof? Is that helpful?

in-context