theorem :: XPRIMES2:2959

canceled;