Das schöne ist, dass der Beweis sehr schnell formell geht. Ich habe den Beweis auch schonmal informell gemacht - also wenige mathematische Zeichen benutzt. Ich dachte das wäre leichter verständlich ich hab aber auch nur "???" in den Kommentren gehabt :D.
Ich hätte vllt erwähnen sollen dass N die Menge der natürlichen Zahlen ist.