неверно хотя бы потому, что внутри множества "C\A", очевидно, содержится фраза "мне пофигу на русалок" - но внутри множества "не верю, что есть" её явно нету. Поэтому и всё твоё доказательство неверно...
Corwin, мне добавить нечего
Welcome to the soldier side,
Where there is no one here but me.
People all grow up to die,
There is no one here but me...