Zeige zunächst, dass \(M\subseteq N\) gilt. Sei dazu \(x\in M\). Zu zeigen ist \(x\in N\).
Es existiert ein \(k\in\mathbb Z\) mit \(x=3k-4\). Definiere \(c:=k-3\in\mathbb Z\). Es ist \(x=3(c+3)-4=3c+5\in N\).
Analog zeige \(N\subseteq M\) und folgere die Behauptung.