theorem
  for x being Vertex of G holds x in the carrier of G;
