Здравствуйте. Доказываю тождество `(A\\B) nn C = (A nn C) \\ (B nn C)` методом двойного включения.
Сначала левая часть должна быть включена в правую:
`x in (A \\ B) nn C => (x in A \\ B) ^^ (x in C) => (x in A) ^^ (x !in B) ^^ (x in C)`, дальше не получается.
Помогите, пожалуйста.