theorem :: JORDAN:99

for C being Simple_closed_curve holds C is Jordan by Lm92;