I think you have to split it up into two parts, but whenever I do it one way I can't get the same exact argument to go back the other way.
Hi
Suppose that
Let's prove that
Let
We have to prove that
means that or or
If then and therefore => OK
If then and . If then . But therefore which is not possible since . Threfeore .
In both cases .
Therefore .