Fary–Milnor theorem