theorem :: JORDAN4:13

canceled;