ローレンツ変換をクソダサく説明したのか?