1. düyümün (knot) ümumi əyriliyinin (total curvature) 4π-dən daha böyük olduğunu ifadə edən, milnor tərəfindən princetonda hələ gənc bir tələbə ikən isbatlanıb ona şan və şöhrət qazandıran teorem.
milnorun zərif isbatı "annals of math"da yayımlanıb.

götürək belə bir düyümü, ümumi əyriliyi mathematica ilə hesablayaq; nəticəsi 17.8224 olacaq, bu da > 4π, teoremin bəsit bir "case"ini hesabladıq.
bu teoremin fəlsəfəsinə ensək; bəsitcə deyir ki, 4π-den aşağı ümumi əyriliyə sahib looplar düyüm deyil, düyümlənməyib deməli.
mənbə: https://dzone.com/articles/total-curvature-of-a-knot

not. kompda oldugum ucun az srifti ile yaza bilmedim, edit gelecek, modlara eziyyet olmasin