https://9dok.net/document/q7w7959o-definition-let-g-v-e-graph-number-vertices.html