The Gauss-Bonnet theorem is a formula that yields a topological invariant, i.e. something that can be used to characterise e.g. manifolds.