Analysis of information sources in references of the Wikipedia article "Wilson's theorem" in English language version.
Original : Inoltre egli intravide anche il teorema di Wilson, come risulta dall'enunciato seguente:
"Productus continuorum usque ad numerum qui antepraecedit datum divisus per datum relinquit 1 (vel complementum ad unum?) si datus sit primitivus. Si datus sit derivativus relinquet numerum qui cum dato habeat communem mensuram unitate majorem."
Egli non giunse pero a dimostrarlo.
See also: Giuseppe Peano, ed., Formulaire de mathématiques, vol. 2, no. 3, page 85 (1897).Translation : In addition, he [Leibniz] also glimpsed Wilson's theorem, as shown in the following statement:
"The product of all integers preceding the given integer, when divided by the given integer, leaves 1 (or the complement of 1?) if the given integer be prime. If the given integer be composite, it leaves a number which has a common factor with the given integer [which is] greater than one."
However, he didn't succeed in proving it.
Original : Inoltre egli intravide anche il teorema di Wilson, come risulta dall'enunciato seguente:
"Productus continuorum usque ad numerum qui antepraecedit datum divisus per datum relinquit 1 (vel complementum ad unum?) si datus sit primitivus. Si datus sit derivativus relinquet numerum qui cum dato habeat communem mensuram unitate majorem."
Egli non giunse pero a dimostrarlo.
See also: Giuseppe Peano, ed., Formulaire de mathématiques, vol. 2, no. 3, page 85 (1897).Translation : In addition, he [Leibniz] also glimpsed Wilson's theorem, as shown in the following statement:
"The product of all integers preceding the given integer, when divided by the given integer, leaves 1 (or the complement of 1?) if the given integer be prime. If the given integer be composite, it leaves a number which has a common factor with the given integer [which is] greater than one."
However, he didn't succeed in proving it.