theorem Th144: :: GLENUM00:144

for G being _Graph
for H being Subgraph of G holds H .allTrees() c= G .allTrees()