let div i j =
  mult i (inv j)