theorem :: JORDAN2C:3

canceled;