theorem
  1_G is non generating
by Th35;
