theorem
  V is trivial iff G is _trivial;
