固有時の式だね

じゃあ、固有時導出関数T()、固有時導出逆関数T^-1()

τA=TA(tA)、tA=TA^-1(τA)
τB=TB(tB)、tB=TB^-1(τB)

t=tA=tBの時だから
t=TA^-1(τA)=TB^-1(τB)

だろ？