theorem :: JORDAN2C:29

canceled;