Es importante en el sistema axiomático de la geometría proyectiva, ya que introducido como axioma permite demostrar todos los teoremas de incidencia conocidos sin tener que introducir axiomas métricos.