[X,Y,Z]

div(X,e) -> i(X).
i(div(X,Y)) -> div(Y,X).
div(div(X,Y),Z) -> div(Y,div(i(X),Z)).

