Part of 1975 Miklós Schweitzer
Source: idempotent linear operator of a Hilbert space (an easy one, I think)