>>201
http://eman-physics.net/relativity/4momentum.html

このE=mc^2の導出自体は四元運動量が定義できればいいので

ローレンツ変換が必ずしも成立している必要はない。