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.