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