excluded middle

Мат. исключенное третье