Không mất tính tổng quát, giả sử [TEX]a \leq b[/TEX]
Đặt [tex]a+n=b(n\geq 0)[/tex]
Ta có: [tex]a!(a+n)!=a!+(a+n)!<=>a!.a!.(a+1)(a+2)...(a+n)=a!+a!.(a+1)(a+2)...(a+n)[/tex] (lưu ý với n=0 hay a=b, thì (a+1)(a+2)...(a+n)=1)
<=>[tex]a!.a!.(a+1)(a+2)...(a+n)=a!(1+(a+1)(a+2)...(a+n))<=>a!.(a+1)(a+2)...(a+n)=1+(a+1)(a+2)...(a+n)<=>(a+1)(a+2)...(a+n)(a!-1)=1[/tex]
Điều này tương đương với : [tex]a!-1=1[/tex] và [TEX](a+1)(a+2)...(a+n)=1[/TEX]<=>a=2,n=0=>a=2,b=2