Definition:Normal Vector of Curve Parameterized by Arc Length in 3-Dimensional Real Vector Space