C^1,1-rectifiability and Heintze-Karcher inequality on S^n+1 - Xuwen Zhang (2021)