>>469
Uの中の場合分けで、Tと同じ形の式が現れるということです