Fundamental theorem of projective geometry