Como con el teorema de Gauss-Bonnet, hay generalizaciones cuando "M" es una variedad con borde.