リーマン多様体をmとする。