theorem :: JORDAN2C:17

canceled;