theorem :: JORDAN1:10

canceled;