be any family of parallel point-tracks to which

does not belong. Then a certain set of point-tracks belonging to

will intersect

; name it

. Let P be any event-particle occupying some member of