theorem :: JORDAN2C:7

canceled;