Kategorie:Theorie der komplex-projektiven Geraden/Beweise