0≤i≤n, her ai bir rakam olmak üzere, basamak adedi üç ile tam bölünen bir A sayısı için,
A=an10n+an−110n−1+an−210n−2+...a2102+a110+a0≡Xmod(7) sonucu arıyoruz.
an(7+3)n+an−1(7+3)n−1+an−2(7+3)n−2+...+a2(7+3)2+a1(7+3)+a0≡Xmod(7)
Parantezlerin açılımında son terim hariç diğer her terimin 7 ile bölündüğüne dikkat edilirse,
an3n+an−13n−1+an−23n−2+...+a535+a434+a333+a232+a13+a0≡Xmod(7) olarak ve
3n−2(an32+an−13+an−2)+...+33(2a5+3a4+a3)+(a232+a13+a0)≡Xmod(7) şeklinde yazabiliriz.Sağdan sola doğru her üç terimde 3i−2(ai32+ai−13+ai−2) şeklinde bir ifade bulunduğuna dikkat edelim. Bu ifadelerde bulunan 3i−2 çarpanlarının mod(7) deki denklikleri i−2 tek sayı iken −1, çift iken 1 olduğunu düşünürsek
3i−2(ai32+ai−13+ai−2)≡(−1)i−2(2ai+3ai−1+ai−2)mod(7) olacak ve,
(−1)n−2(2an+3an−1+an−2)+(−1)n−5(2an−3+3an−4+an−4)+...+(−1)3(2a5+3a4+a3)+(−1)0(2a2+3a1+a0)≡Xmod(7)
Dolayısıyla A sayısının 7 ilebölümünden elde edilen kalan,
X≡[(−1)n−2(2an+3an−1+an−2)+...+(2a8+3a7+a6)−(2a5+3a4+a3)+(2a2+3a1+a0)]mod(7) dir.
Bunu bir iki örnekle açıklayalım.
ÖRNEK1: 392 sayısının 7 ile tam bölünüp bölünmediğine bakalım. Bunu doğrudan bölme işlemi yaparak da kontrol edebiliriz, fakat biz kuralı uygulayalım.
2.3+3.9+2=35≡0mod(7) olduğunu görebiliriz.
ÖRNEK2: 453628 sayısının 7 ile tam bölünüp bölünmediğini kontrol edelim. Bunun için sayıyı sağdan sola doğru üçerli gruplara ayıralım. İlk üçlüyü +1 ile ikinci üçlüyü −1 ile sonuçlarını toplayalım. Toplamın 7 ile bölünüp bölünmediğine bakalım.
−(2.4+3.5+3)+(2.6+3.2+8)=−26+26=0 olduğundan verilen sayı 7'ye tam bölünür.
ÖRNEK3: 32568014632 sayısını kontrol edelim.
−(3.3+2)+(2.5+3.6+8)−(2.0+3.1+4)+(2.6+3.3+2)=−11+36−7+23=41 olup 7 ile tam bölünmez.