Note 5. Proof of Lemma 1

There is no loss of generality if we assume that is the origin and that .

Therefore, we seek the such that with non-zero. Since the hyperbolic inner product (6.1) is non-degenerate, this is just the kernel of the functional , or

 

,

 

that is, the events such that

 

.

 

The result is immediate.