even less matches on google for the irrational conjugate roots theorem!!! but i think they are the same thing