多様体の本なんか見たってdxがわかったことには
ならんだろ。そんなんでいいならはじめから問題に
ならないよ。