глобальное утверждение

Мат. global assertion