Fary-Milnor theorem