N/Teilmengen/Endliche symmetrische Differenz/Entscheidbar/Aufgabe

Es seien $A,B\subseteq \mathbb{N}$ Teilmengen, deren symmetrische Differenz $A\mathrm{△}B$ endlich sei. Zeige, dass $A$ genau dann aufzählbar bzw. entscheidbar ist, wenn $B$ aufzählbar bzw. entscheidbar ist.

Eine Lösung erstellen