Compact Idempotent is of Finite Rank

Theorem
Let $H$ be a Hilbert space.

Let $T \in \map {B_0} H$ be a compact linear operator, and let $T$ be idempotent.

Then:
 * $T \in \map {B_{00} } H$

that is, $T$ is a bounded finite rank operator.