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.