theorem
  G is finite implies A is finite;
