Скільки ребер у додаткового графа?

У додатковому графі до. кількість ребер дорівнює. Оскільки безліч ребер в G і G диз'юнктні, то |E|+|E|= , з чого випливає затвердження теореми.