Assertion: algorithm | /r/CapableOf | produce spanning tree
Facets:
Source sentences:
text: First, it is proved that the algorithm produces a spanning tree.