theorem :: JORDAN4:5

canceled;