is a rational number[1], therefor all it's integer powers are rational. However the square root of is an irrational number[2]. ... How can I disprove that for every irrational number, there exists another irrational number so that their product is rational?