theorem Th27: :: SCMYCIEL:27

for G being SimpleGraph holds G = ({{}} \/ (singletons (Vertices G))) \/ (Edges G)