This procedure is correct .
The induced graph is always chordal and is obtained adding edges to the original graph .
This procedure is correct because the induced graph is always chordal and is obtained adding edges to the original graph .