text: Например, обе синие вершины C отображаются в синие вершины графа H. Отображение f сюръективно — каждая вершина графа H имеет прообраз в C. Более того, f отображает биективно каждого соседа вершины v из графа C в соседа вершины вершины f(v) из графа H. Например, пусть v будет одной из пурпурных вершин из C. Она имеет два соседа в C, зелёную вершину u и голубую вершину t.