Basic projective geometry