結果 : prove that 2 √ 3 is an irrational number solution