as end-points which is covered by

.

If

,

and

be any three event-particles covered by a route