设T是从赋范线性空间X到赋范线性空间Y的线性算子，并且满足存在δ>0使得By(0,δ)⊆T(Bx(0,1))，这里By(0,δ)是Y中以0为圆心δ为半径的开球，Bx(0,1)同理。证明对于任意a,b∈Y成立T^-1(a)⊆T^-1(b)+Bx(0,||a-b||/δ)。