Примеры конструктивных значений в математике