Kategorie:Theorie der Morphismen zwischen glatten Kurven/Beweise