theorem
  <i>" = -<i>;
