x \in B\backslash C \rightarrow x\in ( ( B\backslash A ) \cup ( A \cap B ) ) \backslash C \rightarrow x\in ( B\backslash A ) \backslash C \lor x \in ( A \cap B ) \backslash C