Prove or disprove that the product of a nonzero rational number and an irrational number is irrational.