Proper noun
Fary-Milnor theorem (mathematics) In knot theory, a theorem stating that three-dimensional smooth curves with small total curvature must be unknotted.