вспомогательное высказывание

Мат. auxiliary statement