theorem :: JORDAN2C:1

canceled;