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

Мат. local assertion