一个虚数的模应该确定是一个非负数吧?