theorem :: JORDAN1:12

canceled;