>>560
それはLorentz変換を用いてどのように導出されますか?