Va' che forse, dico forse, ci sono arrivato!
Dunque: immaginiamo che ci sia un vettore V^μ di tipo tempo che appartenga all'ipersuperficie Σ. Posso scegliere un sistema di coordinate localmente inerziale in cui questo vettore assuma la forma (1, 0, 0, 0). In tale sistema viene V^μn_μ = n₀, dove n_μ è la normale a Σ, che per definizione è un vettore di tipo nullo. Ma proprio per questa ragione n₀ non può essere 0, e quindi V^μ non può essere ortogonale a n_μ e quindi appartenere a Σ.