证明t为有界线性算