結果 : prove root 2 is a rational number