theorem Th46: :: SCMYCIEL:46

for G being SimpleGraph
for x being set st x in Vertices G holds
G SubgraphInducedBy {x} = {{},{x}}