theorem :: JORDAN4:16

canceled;