theorem Th24: :: SCMYCIEL:24

for G being SimpleGraph
for x being object holds
( x in Vertices G iff {x} in G )