在一个有向图中，所有顶点的入度之和总是等于所有顶点的出度之和。