Real Analysis Field and Order Axioms

[prometheus54]

Hi, I need to use field and order axioms to justify each step in a proof of the proposition,
If xy > 0, then either x > 0 and y > 0, or x < 0 and y < 0. Any help would be appreciated. Thanks