Prove that if and only if .
Proof so far:
Suppose that , then for , we have:
Implies that such that:
Now, define , we have:
Am I okay so far? I know the idea should be correct, but I worry about the way I write them and the technical details may not be clear.