Kategorie:Theorie der projektiven Varietäten über Dedekindbereichen/Beweise