「方程式 x^3+x+k=0 (∀k∈R) には必ず解が存在する」っていうのは自明扱いでOK?