theorem :: JORDAN1:6

canceled;