Projective curve/Vector bundle/Cohomology class/Finite annihilation and torsor/Fact/Proof