結果 : prove that root 3 root2 is an irrational number