is sqrt(1+sqrt 2) rational