# Proof of statement: If $a\mid b$ and $a\mid c$, then $a \mid b+c$

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?

You could have skipped the "assume the opposite part" and just do take $b = am$, $c = an$, and then conclude that $b+c = am + an = a(m+n)$.
$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$.