theorem
  A in G & G is finite-ind implies A is finite-ind;
