結果 : prove that 1 by under root 2 is an irrational number