theorem :: JORDAN4:14

canceled;