theorem Th44: :: SCMYCIEL:44

for G, H being SimpleGraph st G c= H holds
G c= H SubgraphInducedBy (Vertices G)