if 2+sqrt 3 is a polynomial root