theorem :: JORDAN2C:32

canceled;