Тогда можно получить
Подставляя (3) в (2), мы получаем доказываемое неравенство (1). Так как то из неравенства (1) следует неравенство, содержащее только длину, кривизну и кручение:
Заметим, что неравенство (1) в одних случаях более точное, а в других случаях менее точное, чем неравенство
получаемое интегрированием тождества