theorem Th28: :: SCMYCIEL:28

for G being SimpleGraph st Vertices G = {} holds
G is void by Th18;