theorem Th142: :: GLENUM00:142

for G being _Graph
for v being Vertex of G holds createGraph v in G .allTrees() by Th138;