>>154
任意の関数 f について、
∂_x f(x-y)
=　lim {f(x+h -y) - f(x-y)}/h
= -lim {f(x -(y-h)) - f(x-y)}/(-h)
= -∂_y f(x-y)