theorem :: JORDAN2C:57

canceled;