$a$ عددی طبيعی و در نتيجه مخالف صفر است. بنابراين داريم: $abc\left| ab+ac\Rightarrow abc\left| a(b+c)\xrightarrow{\div a}bc\left| b+c\Rightarrow \left\{ _{c\left| b+c\Rightarrow c\left| b\Rightarrow c\left| 2b \right. \right. \right.}^{b\left| b+c\Rightarrow b\left| c\Rightarrow b\left| 3c \right. \right. \right.} \right. \right. \right. \right.$  تذکر: $\left. _{b\left| b \right.}^{b\left| b+c \right.} \right\}\to b\left| c \right.$  گزینه‌ی «3» در حالت كلی صحيح نيست. (مثال نقض: $a=3,b=1,c=1$)