>>681
>>664に書いてあるdsを積分すればいいだろ。
だれが計算してもどの軽量で計算しても同じ値になる。
ローレンツ不変量だからな