theorem rename