theorem :: XPRIMES2:963

canceled;