Simultane Kongruenzregel zeigen

Question

Seien a1, a2 ∈ Z und n1, n2 ∈ Z>0. Zeigen Sie: Die simultanen Kongruenzen

x ≡ a1 mod n1

x ≡ a2 mod n2

sind genau dann lösbar, wenn

a1 − a2 ≡ 0 mod ggT (n1, n2) .

Die Lösung ist eindeutig modulo dem kgV (n1, n2). 

Answer 1

Schau mal hier : https://www.mathelounge.de/676637/losbarkeit-simultaner-kongruenzen-beweis, dort ist wenigstens eine Richtung gezeigt.