theorem :: SCMYCIEL:30

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