Kategorie:Theorie der Euler-Charakteristik auf projektiven Schemata/Beweise