The product of two irrational numbers is an irrational number?