Vector bundle on scheme/Torsor and H^1/Correspondence/Fact/Proof