もしA:X→Yが連続線形作用素であるなら、A(X)はY内の第一類集合（英語版）（やせた集合、meagerset）であるか、A(X)=Yである。
如果A:X→Y是一个连续线性算子，那么要么A(X)是Y内的贫集，要么A(X)=Y。