下面关于图的说法正确的是（ ）。
在无向图中，环是指至少包含三个不同顶点，并且第一个顶点和最后一个顶点是相同的路径。
在有向图中，环是指一个顶点经过至少另一个顶点到自身的路径。
在有向图中，如果任意两个顶点之间都存在一条边，则这个图一定是强连通图。
在有向图中，所有顶点的入度和出度的总和就是图的边数的两倍。