>>748
Tは有界である必要は無いのですか
いや、748の仮定から導かれるのか…試してみます