Vector bundle on projective curve/Strong Harder-Narasimhan filtration/Existence/Fact