Course: Foundations of Higher Math

This is in the chapter titled, "More on Direct Proof and Proof by Contrapositive"

Let , where and . Prove that if and , then or

Proof by contrapositive seems too difficult, so I'm trying a direct proof.

Assume that and , i.e. and , for some

Then,

. Then divide both sides by (xy), so

Is this sufficient?