theorem :: XPRIMES2:3003

canceled;