theorem :: JORDAN1:18

canceled;