Journal of Formalized Mathematics on the Simple Closed Curve Property of the Circle and the Fashoda Meet Theorem for It