Рабочие записи

озаглавленные "Доказательство достижимости оценки снизу".