Thay x=1x=1x=1 vào yf(x)=f(xf(y))yf(x)=f(xf(y))yf(x)=f(xf(y)) và dùng f(1)=1f(1)=1f(1)=1 cho y=f(f(y))y=f(f(y))y=f(f(y)) với mọi y>0y>0y>0, nên fff là phép đối hợp.