theorem
  <i>*<i> = -1r;
