ゴメンもひとつ訂正。

N：自然数全体の集合
f ; N→N
∀x、∀y∈N、f(x+f(x)f(y)) = (1+y)・f(x)