theorem :: XPRIMES2:759

canceled;