(続き)
点の長さが0であることは距離の公理に含まれているし、
長さが0でない線が存在することは線分で例示できますね。
線分の長さは、積分抜きで求められます。