Oh, of course. Thanks for that, 1 last question, I promise. In the next part, the solutions (for the rational bit), start off by saying if 1 + root 3 is a root, than so is 1 - root 3. Surely they aren't using the conjugate root theorem right? Since it isn't even a complex number.