Assertion: graph's size | /r/CapableOf | equal the number of vertices
Facets:
value: in any graph without isolated vertices
type: OTHER
Source sentences:
text: In any graph without isolated vertices the size of the minimum edge cover plus the size of a maximum matching equals the number of vertices.