律的推导过程为所得的的结果是为零的，因为它等于自身的负值（对照推导的第二步）。
电磁波方程.从电磁理论的狭义相对论形式可以借助电磁场张量修改得到非齐次的电磁波方程其中是黎曼张量的协变形式，而formula_79是达朗贝尔算符在协变导数情形下的推广。波方程可以写成四维势的形式（参见ref 2, p. 569）其中 是里奇张量。而这里假设了洛伦茨规范在弯曲时空中的推广具有下面的形式这个波方程与平直时空中的波方程具有十分类似的形式，除了导数被替换为协变导数，以