theorem :: XPRIMES2:744

canceled;