theorem :: JORDAN4:9

canceled;