theorem :: GLIB_002:49

for G being _Graph
for x being set st G is_DTree_rooted_at x holds
x is Vertex of G