若方程x^2+2x-m+1=0没有实数根,求证方程x^2+mx+12m=1一定有两个不等的实数根.