设x属于B,则x属于BUC,于是属于AUC
假设x不属于C,则x必属于A.
于是x属于A交B,亦属于A交C,则x必属于C
与假设矛盾.
从而,x属于C.
由x属于B可推出x属于C,因此,B包含于C.
同理可证,C包含于B.
B,C相互包含,所以,B=C