Irrational Root Theorem