theorem :: JORDAN4:17

canceled;