两个数域的闭集是否一定是数域?请证明