x=-i是方程x^2+1=0在复数集C中的一个解.这句话对吗?