theorem Th49: :: GLIB_009:49

for G2 being _Graph
for G1 being Supergraph of G2 holds G2 .loops() c= G1 .loops()