Projective structure encodes only incidence relations and cross-ratios, not metric properties needed...
This proposition has not been edited since the history system was added.