Der Beweis des Dedekindschen Satzes arbeitet mit einem Bild, das ihn nicht rechtfertigen kann, das eher vom Satz gerechtfertigt werden soll.