theorem Th32: :: GRAPH_2:32

for G being Graph
for v being Element of G holds <*v*> is_vertex_seq_of {} by FINSEQ_1:40;