O sa folosim teorema impartirii cu rest care spune ca:
D=Î*C+r, r<Î.
Avem:
[tex]n=1+2*3*4*...*2001[/tex] Conform T.I.R:
[tex]2*3*4*...*2001+1=2001*c+r.[/tex] De aici se observa ca 2001 din deimpartit ar fi chiar impartitorul, catul [tex]2*3*...*2000[/tex] iar restul [tex]1.[/tex] Scriu cu evidentieri: n=I*C+r, r<I <=> 2001*2*3*...*2000+1=2001*c+r. r<I se respecta, intrucat 1<2001. (q.e.d.)
