Journal of Formalized Mathematics the Ordering of Points on a Curve. Part Ii