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