negation theorem

Мат. теорема об отрицании