Chern-Gauss-Bonnet theorem