differential geometry, integral formulas