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