Verified answer

Remove B from both sides of the first statement:

(A \ B) ⊆ ((B U C) \ B)

There is nothing in B that is also in A (A ∩ B = ∅) so (A \ B) = A. Also, note that (B U C) \ B = C so the above statement reduces to:

A ⊆ C

QED