theorem :: XPRIMES2:958

canceled;