theorem :: XPRIMES2:5744

canceled;