This is essentially a theorem of projective geometry, but the following statical proof is interesting.
It has often been said that metric geometry was quantitative, while projective geometry was purely qualitative.
He also published several papers on algebraic forms and projective geometry.
The others are said to be projective properties, and their investigation forms the subject of projective geometry.