theorem :: JORDAN2C:18

canceled;