两组不同的取值给出了同一个量 f(f(x)) 的两种表达式。
比较 P(0, x) 与 P(x, 0),二者都等于 f(f(x)):前者给出 f(0) + 2f(x),后者给出 f(2x) + 2f(0)。令两式相等并整理,即得 f(2x) 等于 2f(x) 减去 f(0)。