ds=P1−P0のとき
ds^2=−c^2+1+1+1=3−c^2
これが絶対で
P0が生誕、P1が死亡
だとしたら
改変可能性ゼロ