>>689
Z(x,y) = f(x+y) (∃f) ってことを示すんだろう。