necessary proposition

Мат. необходимое утверждение