Beweisen Sie folgende Aussage:
\( a|b \Rightarrow a|(b+c a) \)
Seien \( a, b, c \in \mathbb{Z} \)
a|b => Es ex p mit pa=b => b+ca = pa+ca = (p+c)*a und da ist offensichtlich durch a teilbar.
a|b
==> Es gibt ein x mit a*x=b
==> ax+ca = b + ca
==> a(x+c) = b+ca
==> Es gibt ein y (nämlich y=x+a) mit ay= b+ca
==> a | b+ca
