이상 로런츠 변환, 상대론

오류 증명 끝.