結果 : proof root 2 is a rational number