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