>>465
Tはそれ自体で完結していて、Uの式の形からTと全く同様の証明になるといえると思いますが