仅这一步代换就把 f∘ff\circ ff∘f 与恒等映射联系起来(相差常数 f(1)f(1)f(1))——强烈暗示 fff 接近于一个对合映射。
将 x=1x=1x=1 代入 (i),得到对所有正实数 yyy 都有 f(f(y))=yf(1)f(f(y)) = y f(1)f(f(y))=yf(1)。