>>557
>a00=a11はx=vtを根拠としているが
>x=ctの時にも成り立っているという根拠が存在しない。

a00〜a11 の値は座標に依存しない。これが根拠。
x=vtのときに成り立つなら、x=ctのときにも成り立つ。