Assertion: graph's g | /r/HasProperty | a graph of order
Facets:
Source sentences:
text: Theorem: Let G be a graph of order at least 3.