結果 : root 2 is rational or irrational proof