theorem :: JORDAN4:15

canceled;