Кривая в

задана своими кривизной

и кручением

, где

-- натуральный параметр. Функции

гладкие и имеют общий период

Доказать, что кривая ограничена (вся содержится в некотором шаре) тогда и только тогда, когда каждое

периодическое решение

системы

обладает следвующим свойством

.
Отсюда вытекает, что 1) ограниченность кривой в пространстве не является случаем общего положения (а ограниченность кривой на плоскости является случаем общего положения); 2) если ситуация не очень вырождена, то установить неограниченность кривой можно доказательным вычислением на компе.