let P in L(V) and P^2 = P (operador idempotente, ou projeção). then :