Need help putting proof into proper form

Show that the relations and , when considered together, imply .

Here is my proof:

If then .

If then or .

We want to know about the elements in C so we consider .

If then .

This means that if then , , or and .

There are three cases.

First: . From the second relation, , and therefore .

Second: .

Third: .

Thus , therefore .

Is this proof complete, correct, clean, nasty?

Any help is appreciated, especially cleaning it up and making it look all nice with proper notation. Again, if it's wrong it would be more helpful if you could point out where I've went astray.

Thanks,

ultros