Tout dépend dans quelle géométrie on se situe. Si on travaille dans un contexte de géométrie euclidienne, cette propriété n'est qu'un théorème découlant d'axiomes plus puissants.
En revanche, dans un contexte de géométrie projective, si on travaille dans un plan projectif pappusien, c'est un de nos axiomes de construction de ce plan. Si on travaille dans un plan projectif homogène, c'est un théorème qui découle d'un autre ensemble d'axiomes.