Theorems in projective geometry