ローレンツ変換で成立してますよねディラック方程式