theorem Th96:
  G is integer-array implies
  for t being Element of T,I holds @M.t in (the generators of G).I
  proof
    assume
A1: G is integer-array;
    let t be Element of T,I;
A2: @M.t in the set of all @N.q where q is Element of T,I;
    the set of all @N.q where q is Element of T,I
    c= (the generators of G).I by A1;
    hence @M.t in (the generators of G).I by A2;
  end;
