
theorem  :: Simplicial01
  for G being _trivial _Graph, v being Vertex of G holds v is simplicial;
