theorem :: JORDAN4:6

canceled;