theorem
  InvCl StabCl R is stable by Th30;
