リーマン多様体
Any Riemannian manifold is a Finsler manifold.