стверджує, що натуральне число n>1 є простим в тому і тільки тому випадку коли (n-1)!+1 ділиться на n