theorem :: GRAPH_1:2

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