theorem :: JORDAN2C:2

canceled;