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