x∈左,即 x∈AUB 或 x∈C
即 x∈A 或 x∈B 或 x∈C
即 x∈A 或 x∈B∪C
即 x∈右
说明 左包含于右
同理可证右包含于左
所以 左=右