로런츠 변환이 맞다고 합니다.