I'll talk with User:Michael Hardy, but he just made a comment about the left-hand-side of the equation with which I don't have any problem (x/y are just indices). I guess he withdrew his comment when he saw that the point was the right-hand-side.

Thanks!