Gauss-Bonnet theorem