or this way:
if => ...we have a rational expression on right side
.... we know that a product of two numbers (or expressions) is rational number (expression)in case when both numbers (expressions) are rational, or when one number (expression) is whole number and other one is rational.
so, if we say that ,