theorem
   -i * h = -(i * h);
