Given A\B is disjoint from C.
i.e, A\B[itex]\cap[/itex]C=null set.
But A\B[itex]\cap[/itex]C=(B[itex]\cap[/itex]C)\A
∴(B[itex]\cap[/itex]C)\A=null set.
Which means (B[itex]\cap[/itex]C)=A
Since x[itex]\in[/itex]A, x[itex]\in[/itex](B[itex]\cap[/itex]C)
Hence if x[itex]\in[/itex]C, then x[itex]\in[/itex]B