If

and

be any two event-particles covered by a route

, there is one and only one route with

and