>>699
問題なく導出できる。
なぜなら、ローレンツ変換はx,y,z,tについて解くわけではなく、変換係数について解いているから。