theorem :: JORDAN2C:19

canceled;