theorem :: JORDAN4:11

canceled;