The solution is " Prime or irreducible over the reals ".