まず T1 ≠ T2 という前提のもとで T1 = T2 なんてマヌケな結論に達してる時点で疑問に思えよ