a=1001!,b=1002.1003…2002=2002!1001!. Suy ra
a+b=1001!+2002!1001!=(1001!)2+2002!1001!.
Dễ thấy a+b là số nguyên và 2003∤1001!. Ngoài ra theo định lý Wilson cho p=2003 là số nguyên tố thì
có dạng 4k+3 thì
{(p−12)!≡0(modp)(p−1)!≡0(modp)⇒{(1001!)2≡0mod20032002!≡0mod2003⇒a+b≡0mod2003.