证明开集减去闭集后仍是开集