theorem :: JORDAN4:8

canceled;