theorem
  <*v*> is_oriented_vertex_seq_of {}
by FINSEQ_1:40;
