is mentioned by

Thm* DivGraph_2 DivGraph_1

[div-graph-iso]

Try larger context: Graphs