Сумма степеней всех вершин графа в два раза меньше количества его рёбер.