for G being Tree-like _Graph
for H being spanning Subgraph of G st H is connected holds
G == H