theorem
  K is trivial implies V is trivial
by Th5;
