Assertion: graph's g | /r/HasAspect | exactly 1/2 nr edges
Facets:
Source sentences:
text: If G is a graph which has n vertices and is regular of degree r, then G has exactly 1/2 nr edges.