Assertion: graph's g | /r/HasAspect | many vertices
Facets:
Source sentences:
text: If G has finitely many vertices, say n of them, then the above statements are also equivalent to any of the following conditions: