Давайте докажем отрицание данного утверждения: B принадлежит НЕ А (В с чертой сверху принадлежит А с чертой сверху).

Если B принадлежит НЕ А, то это означает, что B не принадлежит А.

Но мы знаем, что A принадлежит B (А с чертой сверху принадлежит B). Следовательно, B принадлежит A.

Противоречие: мы пришли к противоречию, исходя из предположения, что B принадлежит НЕ А. Следовательно, НЕ B не принадлежит НЕ А.

Таким образом, доказано, что множество НЕ B не принадлежит множеству НЕ А.