Fary-Milnor theorem

Etymology
Named after István Fáry and John Milnor, who proved it independently in 1949 and 1950.

Proper noun

 * 1)  In knot theory, a theorem stating that three-dimensional smooth curves with small total curvature must be unknotted.