theorem :: GLIB_000:40

for G being _Graph holds G is Subgraph of G by Lm3;