theorem :: JORDAN4:10

canceled;