theorem :: XPRIMES2:959

canceled;