real proposition

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