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