theorem :: XPRIMES2:1744

canceled;