Statement: If $a$ divides both $b$ and $c$, then $a$ divides $b+c$ Proof: Assume that $a$ does not divide $b+c$. Then there is no integer $k$ such that $ak=b+c$. However, $a$ divides $b$, so $am=b$ for some integer $m$; and $a$ divides $c$, so $an=c$ for some integer $n$. Thus $am+an=a(m+n)=b+c$. Therefore $k=m+n$ is an integer satisfying $ak=b+c$. Thus the assumption that $a$ does not divide $b+c$ is false, and $a$ does divide $b+c$.
Is my proof valid?