Доказывается геометрически. Надо нарисовать множество В, а в нём множество А. В\А, это когда из множества В "вырезали" множество А. Надо заштриховать это множество одним цветом. Потом надо заштриховать множество А другим цветом. На чертеже будет видно, что пересечений (наложений) этих штриховок нет. Значит, искомое множество пустое. :)