Main Theorem. Let T be a bounded linear operator on an infinite-dimensional
Banach space B over the complex numbers. Suppose there exists a polynomial p(λ)≠0
with complex coefficients such that p(T) is compact (completely continuous). Then T
leaves invariant at least one closed linear subspace of B other than {0} or
B.