به نام خدا.
فرض کنید که
$n=p_1^{6 \alpha _1}p_2^{6 \alpha _2}...p_n^{6 \alpha _n}$
باشد که برای هر
$1 \leq i \leq n$،
$p_i$ اعداد اول و $ \alpha _i$ اعدادی طبیعی اند.
واضح است که اگر یکی از $p$ ها برابر $7$ باشد، آنگاه عدد $n$ بر $7$ بخش پذیر است.
پس فرض کنید که هیچ کدام برابر با $7$ نیست. یک عدد اول مانند $q$ را در نظر بگیرید. حالت های زیر را در نظر می گیریم:
$1 .\space q \equiv 1 \space mod7 \Longrightarrow \bbox[yellow]{ q^{6k} \equiv 1 mod7}$
$2. \space q \equiv 2 \space mod7 \Longrightarrow q^6 \equiv 1 \space mod(7) \Longrightarrow \bbox[yellow]{ q^{6k} \equiv 1 mod7} $
$3. \space q \equiv 3 \space mod 7 \Longrightarrow q^6 \equiv 1 \space mod(7) \Longrightarrow \bbox[yellow]{ q^{6k} \equiv 1 mod7}$
$4. \space q \equiv 5 \space mod(7) \Longrightarrow q^6 \equiv 1 mod(7) \Longrightarrow \bbox[yellow]{ q^{6k} \equiv 1 mod7}$
این یعنی برای هر عدد $q$ که اول است و برابر $7$ نیست، باقیمانده $q^{6k}$ بر $7$ برابر یک است!
پس:
$p_1^{6 \alpha _1} \equiv 1 \space mod(7)$
$p_2^{6 \alpha _2} \equiv 1 \space mod(7)$
.
.
.
$p_n^{6 \alpha _n} \equiv 1 \space mod(7)$
پس می توان نتیجه گرفت:
$n=p_1^{6 \alpha _1}p_2^{6 \alpha _2}...p_n^{6 \alpha _n} \equiv 1 \space mod (7)$