結果 : prove that root 2 is not a rational number by long division method