Finite field/Smooth projective curve/Vector bundle/Affineness and nonexistence of curves/Fact/Proof