でも、ディラック方程式ローレンツ変換しても変わりませんよね