Cho a,b,c,d>0 với a+b=c+d, tính không bị chặn của f cho phép ta chọn e với f(e) lớn hơn 1,a/b,b/a,c/d,d/c. Áp dụng bổ đề với c=f(e) cho các cặp (a,b) và (c,d) cho ra u,v,w,t>0 với f(e)u+v=a, u+f(e)v=b, f(e)w+t=c, w+f(e)t=d, và kiểm tra được u+v=w+t vì (u+v)(f(e)+1)=a+b và (w+t)(f(e)+1)=c+d. Thay x=u,y=v,z=e vào phương trình hàm cho f(a)+f(b)=(e+1)f(u+v); tương tự f(c)+f(d)=(e+1)f(w+t), và khẳng định được suy ra.