Category talk:Theorems in projective geometry