W geometrii metrycznej odcinek AB jest < od odcinka CD wtedy i tylko wtedy, gdy istnieje punkt G należący do wnętrza odcinka CD taki, że odcinek AB jest przystający do odcinka CG.
Ma ktoś z Was pomysł na dowód o to tego twierdzenia?
[ treść oryginalna w załączniku z symbolam]i