
theorem Th144:
  for G1 being _Graph, G2 being SimpleGraph of G1
  holds G1 is chordal iff G2 is chordal
proof
  let G1 be _Graph, G2 be SimpleGraph of G1;
  consider H being removeParallelEdges of G1 such that
    A1: G2 is removeLoops of H by Th119;
  H is chordal iff G2 is chordal by A1, Th65;
  hence thesis by Th106;
end;
