Finite field/Smooth projective curve/Vector bundle/Finite annihilation/Harder-Narasimhan-criterion/Fact/Proof