Added Rational_Root.thy