theorem :: JORDAN2C:30

canceled;