Final answer:
To prove that all vertices of a graph G are recurrent, we can use the Fundamental Theorem of Random Walks, which states that for an irreducible, finite, and connected graph, all vertices are recurrent.
Step-by-step explanation:
In order to prove that all vertices of a graph G are recurrent, we need to show that for any vertex v in G, the expected return time to v is finite. In other words, the expected number of steps for the random walk to return to v is finite.
One approach to proving this is by using the Fundamental Theorem of Random Walks. This theorem states that for an irreducible graph (meaning that there is a path between any pair of vertices), if the graph is finite and connected, then all vertices are recurrent.
Since G is a finite graph with no isolated vertices (meaning that every vertex has at least one edge connecting it to another vertex), we can conclude that all vertices of G are recurrent.