Esto implica esoa=nq1+r1,0≤r1<n yb=nq2+r2,0≤r2<n De ahía+b=nq1+r1+nq2+r2=n(q1+q2)+r1+r2 Ahora\[f(a) \oplus f(b) = r_1 \oplus r_2 ...Esto implica esoa=nq1+r1,0≤r1<n yb=nq2+r2,0≤r2<n De ahía+b=nq1+r1+nq2+r2=n(q1+q2)+r1+r2 Ahoraf(a)⊕f(b)=r1⊕r2=r donder1+r2=qn+r,0≤r<n De ahía+b=n(q1+q2+q)+r,0≤r<n y se deduce esof(a+b)=(a+b)mod y concluimos quef(a+b) = r = f(a) \oplus f(b). Esto prueba (C.1).