Between any two event-particles on a rect there is one and only one rectilinear route. If

and

be two event-particles on a rect, the rectilinear route between them can also be defined as the element deduced from the prime with the formative condition of being a simple abstractive class which covers

and

and all the event-particles between