Natürliche Zahlen/Nachfolger/Addition/Summe ist 0/Fakt

Es seien natürliche Zahlen. Dann ist

nur bei und möglich.