思考実験は一応Lorentz変換は正しいという仮定から矛盾を導く背理法でLorentz変換を棄却したいんですよね？
逆変換もLorentz変換なので、仮定からこれも正しいんですよ

背理法はわかりますよね？