theorem
  G is Subgraph of G by Lm3;
