共変微分があるなら
共変積分もあるのかな?