[Thgx0312555]

2) $s=k$ น่าจะจริงอยู่นะครับแต่น่าจะสรุปได้เพียง $c | (a+b)$
ถ้า $s<k$ จะได้ว่า $c^{k-s} \nmid ac^{k-s}+b$ นั่นคือ $c^k \nmid ac^k+bc^s$ ซึ่งขัดแย้ง
ถ้า $s>k$ จะได้ว่า $c \nmid a+bc^{s-k}$ นั่นคือ $c^{k+1} \nmid ac^k+bc^s$ ซึ่งขัดแย้ง

ดังนั้น $s=k$ ซึ่งแทนค่าไปจะได้ $c | (a+b)$