设x为左边集合种任一元素,则x属于A,且x不属于B,且x不属于C,所以有x属于A且x不属于C且x不属于B,所以x属于右边集合,由x任意性可知,(A-B)-C包含于(A-C)-B.
同理可知右边集合也包含于左边集合.综上,得证.