let div (x, y, z) a =
  (x /. a, y /. a, z /. a)