local statement

Мат. локальное высказывание