結果 : prove that root 2 root 7 is not a rational number