Y en ese caso el covector formula_7 también es de tipo luz (tangente al cono de luz).