for G being _Graph
for H being removeLoops of G
for H9 being loopless Subgraph of G holds H9 is Subgraph of H