Let denote a scheme and let and denote two locally free sheaves (of rank and ) together with a surjective sheaf homomorphism

Then the kernel sheaf is also locally free (of rank ).