是错误(x)在域错误[x]中的根的充要条件是x|错误(x)