theorem :: JORDAN2C:4

canceled;