theorem :: JORDAN4:18

canceled;