Prove that if and only if .

Proof so far:

Suppose that , then for , we have:

Implies that such that:

and

Now, define , we have:

when

So then

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.