리만 다양체
임의의 리만 다양체 formula_81가 주어졌을 때,