provable statement

Мат. доказуемое высказывание