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