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