let
rec
h e i j =
if
i+1=0
then
e
else
h ((i,j) +$ e) (i-1) j