theorem :: XPRIMES2:3002

canceled;