ds^2が不変ならば
その積算だって不変であろう