Маркиране на доказателството за определяне на числото е.

Нека A = a₁a₂ ... a_n-1a_n и
B = a₁a₂ ... a_n-1 + e.a_n
където e е определено в: 10^{L(p) - 1}≡ e (mod p)
? Ако p | B => p |A?
(*)10^n-2a₁+ ... + 10⁰a_n-1 + e.a_n≡ 0 (p) ?=>?
10^n-1a₁+ ... + 10⁰a_n ≡ 0 (p)

10^n-1a₁+ ... + 10⁰a_n ≡ 0(p) =>
10.(10^n-2a₁+ ... + 10⁰a_n-1) + 10⁰a_n ≡ 0(p)

изразът в горните скоби е:
10^n-2a₁+ ... + 10⁰a_n-1 ≡ -e.a_n (p), заместваме го в горният израз =>
10.(-e.a_n) + a_n ≡ 0 (p)
-10.(10^{L(p) - 1}.a_n) + a_n ≡ 0 (p)
-10^L(p).a_n + a_n ≡ 0 (p)
но 10^L(p) ≡ 1 (p) =>
-a_n + a_n ≡ 0 (p)
което е вярно.
Обратното доказателство може да се докаже с умножение по 10 на (*).