theorem :: JORDAN2C:71

canceled;