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