リーマン多様体Ｍ上のベクトル場Ｖに対して、Ｖ＝−gradφとなるような
Ｍ上の関数φが存在するための条件はありますか？