Natürliche Zahlen/Nichtleere Teilmengen/Hat Minimum/Fakt/Beweis/Aufgabe