Hallo Nadia,
Es gilt $$k \cdot b = l \cdot a \quad k,l \in \mathbb{Z}$$ so weit so gut.
Warum mit 1 addiert werden muss ...
muss nicht, ich tue es einfach, um andere Faktoren vor \(a\) und \(b\) zu erhalten. Dann erhält man$$k \cdot b + b= l \cdot a + b$$Ist ja zunächst nichts falsch daran. Die linke Seite kann man umformen nach \(k \cdot b + b = (k+1)\cdot b\) womit klar ist, dass das Ergebnis immer noch \(\in V_b\) ist. Wenn aber der alle Elemente aus \(V_b\) auch in \(V_a\) enthalten sind (nach Voraussetzung!), dann muss auch der rechte Teil \((l \cdot a + b) \in V_a\) sein! Das reicht im Grunde schon, um zu zeigen, dass \(a \mid b\), da in dem Term \(l \cdot a +b\) das \(a\) als Faktor enthalten sein muss.
Ich wollte es noch ein wenig genauer machen, indem ich einen Faktor \(f=l+n\) mit \(n \in \mathbb{Z}\) eingeführt habe, für den gilt$$l \cdot a + b = f \cdot a \quad \text{da} \space (l \cdot a + b) \in V_a$$Und das gibt dann die obige Gleichung$$l \cdot a + b = (l + n) \cdot a$$wo man \(l \cdot a\) subtrahieren kann und $$b = n \cdot a \quad n \in \mathbb{Z}$$ stehen bleibt. Was nichts anderes heißt als \(a \mid b\).
Wenn es Dir besser gefällt kann man auch schreiben$$\begin{aligned} l \cdot a +b &= f \cdot a && \left |\, - l \cdot a\right.\\ b &= f \cdot a - l \cdot a \\ b &= (f-l) \cdot a\end{aligned}$$ und da \((f-l) \in \mathbb{Z}\) ist, muss auch \(a \mid b\) gelten.