四元運動量はローレンツ変換から生まれた概念なんですね
いつになったら理解できるのでしょうか