设 a, b, c ∈ Z，如果 a | b，b | c，则 a | c。如果 c | a，c | b，则对任意 m, n ∈ Z，有 c | (ma + nb)。

提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档

---

一、题目

设 a, b, c ∈ Z，如果 a | b，b | c，则 a | c。如果 c | a，c | b，则对任意 m, n ∈ Z，有c | (m×a + n×b)。

二、证明过程

①因为c丨a且c丨b
②c丨m×a=m（c丨a），c丨n×b=n（c丨b）
③m，n∈Z
④c丨（m×a+n×b）=c丨m×a+c丨n×b
⑤所以c丨（m×a+n×b）成立