theorem :: JORDAN1:14

canceled;