B∪CuA=R,
∴ Cu(CuA)包含于B
即:A包含于B
∴ B∩A=A
于是,(下面的证明可以直接从韦恩图中得知)
B=B∩U
=B∩(A∪CuA)
=(B∩A)∪(B∩CuA)
=A∪(B∩CuA)