
theorem Th88: :: MinChordal01
  for G being _Graph, W being Walk of G st W is minlength holds W is chordless
    by Th39;
