The only such function is the identity function on R. Setting (x,y)=(1,0) in the given functional equation (ii), we have f(f(0))=0. Setting x=0 in (ii), we find f(y)=f(f(y)) and thus f(0)=f(f(0))=0. It follows from (ii) that f(x4+y)=x3f(x)+f(y) for all x,y∈R. Set y=0 to obtain f(x4)=x3f(x) for all x∈R, and so f(x4+y)=f(x4)+f(y) for all x,y∈R. The functional equation suggests that f is additive, that is, f(a+b)=f(a)+f(b) for all a,b∈R. We now show this. First assume that a≥0 and b∈R. It follows that f(a+b)=f((a1/4)4+b)=f((a1/4)4)+f(b)=f(a)+f(b). We next note that f is an odd function, since f(−x)=(−x)3f(x4)=−f(x), x=0. Since f is odd, we have that, for a<0 and b∈R, f(a+b)=−f((−a)+(−b))=−(f(−a)+f(−b))=f(a)+f(b). Therefore, we conclude that f(a+b)=f(a)+f(b) for all a,b∈R. We now show that {s∈R∣f(s)=0}={0}. Recall that f(0)=0. Assume that there is a nonzero h∈R such that f(h)=0. Then, using the fact that f is additive, we inductively have f(nh)=0 or nh∈{s∈R∣f(s)=0} for all n∈N. However, this is a contradiction to the given condition (i). It's now easy to check that f is one-to-one. Assume that f(a)=f(b) for some a,b∈R. Then, we have f(b)=f(a)=f(a−b)+f(b) or f(a−b)=0. This implies that a−b∈{s∈R∣f(s)=0}={0} or a=b, as desired. From (1) and the fact that f is one-to-one, we deduce that f(x)=x for all x∈R. This completes the proof.