Definition:Arc Length of Regular Curve in 3-Dimensional Real Vector Space