Natürliche Zahlen/Nachfolger/Addition und disjunkte Vereinigung/Fakt/Beweis/Aufgabe

Beweise den Satz über die Addition und endliche Mengen.