>>172
上の意味はわからんが

不変量は世界間隔
各成分の差の二乗和ただし時間成分だけ反転したもの