리만 다양체
반대로, 준 리만 다양체 formula_23가 주어졌을 때, 음악 동형