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