>>13
ローレンツ変換の 導出では

�Aを必要条件にしているんですよね