theorem :: JORDAN2C:5

canceled;