theorem :: JORDAN4:12

canceled;