Assertion: graph's number | /r/AtLocation | undirected graph
Facets:
Source sentences:
text: The formula implies that in any undirected graph, the number of vertices with odd degree is even.