theorem
  ID(M) = vect(b,b) by Th32;
