Fact 2: rational × irrational

A non-zero rational times (or divided by) an irrational is always irrational. (The “non-zero” matters — 0 × anything is 0, which is rational.)