結果 : prove that 11 3 root 2 is an irrational number given that root 2 is an irrational number