結果 : prove that root 2 is a rational number irrational number