Que $N$ sea un subfondo vectorial de $M_1 \oplus M_2 \oplus ... \oplus M_k$ donde $M_1, M_2, ..., M_k$ son haces de líneas sobre una curva algebraica suave $X$ . Sea $N_i$ sea la imagen de $N$ bajo la proyección $M_1 \oplus M_2 \oplus ... \oplus M_k \to M_i$ . ¿Es cierto que $N=N_1 \oplus N_2 \oplus ... \oplus N_k$ ?