Finite field/Smooth projective curve/Vector bundle/Strongly semistable degree nonnegative/Finite annihilation/Fact/Proof