theorem :: JORDAN2C:58

canceled;