theorem :: JORDAN1:16

canceled;