theorem :: JORDAN2C:31

canceled;