리만 다양체
콤팩트 리만 다양체 formula_1에 대하여, 다음이 성립한다.