theorem :: GRAPH_4:8

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